Второй открытый Зеленоградский турнир 2006

Лучшее решение на данный момент. Полностью покрыто 72 квадрата. Ниже приведено поведение программы на большом тестовом наборе. Четыре балла означает полностью покрытый квадрат. Кажадая строчка приведена в формате (N, K, score).

  10      7 0.760 
  10      2 4.000 
 100      4 4.000 
 100      4 4.000 
 100     11 4.000 
  10      5 0.680 
  10      9 4.000 
  10      3 0.910 
  10      1 4.000 
  10     27 4.000 
   4      2 4.000 
  10      4 0.710 
  10     11 4.000 
  10     11 0.980 
  10     11 4.000 
  10     15 0.980 
 100      6 0.842 
 100      5 0.919 
 100     17 0.890 
 100     16 0.959 
 100     22 0.994 
1000      6 0.769 
1000      9 0.896 
1000     15 0.832 
1000     18 0.925 
1000     25 0.947 
  10      8 4.000 
  10     28 4.000 
  10     38 4.000 
  10     48 4.000 
  10     57 4.000 
 100     18 0.859 
 100     75 1.000 
 100    172 4.000 
 100    375 4.000 
 100    709 4.000 
1000    100 0.918 
1000    283 0.996 
1000    570 1.000 
1000    998 4.000 
1000   1598 4.000 
  10     11 0.960 
  10      9 0.980 
  10     11 0.970 
  10     11 0.990 
  10     10 0.960 
 100     18 0.850 
 100     30 0.909 
 100     58 0.958 
 100     81 0.986 
 100    140 0.998 
1000     99 0.938 
1000    164 0.949 
1000    201 0.965 
1000    254 0.982 
1000    335 0.974 
 100     36 0.821 
 101     35 0.843 
 102     33 0.772 
 103     40 0.714 
 104     38 0.847 
 105     32 0.720 
 106     33 0.725 
 107     37 0.688 
 108     35 0.712 
 109     37 0.823 
 110     35 0.794 
 111     31 0.772 
 112     36 0.750 
 113     30 0.809 
 114     35 0.753 
 115     40 0.842 
 116     39 0.776 
 117     38 0.785 
 118     37 0.746 
 119     33 0.828 
 120     32 0.852 
 121     31 0.841 
 122     39 0.753 
 123     41 0.733 
 124     34 0.842 
 125     37 0.843 
 126     37 0.772 
 127     40 0.811 
 128     34 0.765 
 129     36 0.807 
 100     16 0.775 
 101     16 0.716 
 102     20 0.873 
 103     20 0.889 
 104     16 0.877 
 105     15 0.788 
 106     21 0.753 
 107     15 0.766 
 108     18 0.705 
 109     22 0.689 
 110     18 0.791 
 111     19 0.832 
 112     19 0.810 
 113     18 0.793 
 114     16 0.749 
 115     17 0.747 
 116     20 0.898 
 117     20 0.797 
 118     20 0.850 
 119     27 0.870 
 120     26 0.773 
 121     17 0.793 
 122     19 0.844 
 123     24 0.841 
 124     25 0.736 
 125     16 0.813 
 126     19 0.775 
 127     19 0.831 
 128     19 0.822 
 129     23 0.817 
 100      7 0.917 
 101      8 0.811 
 102      9 0.782 
 103      8 0.913 
 104      8 0.845 
 105      6 0.872 
 106      8 0.893 
 107     10 0.728 
 108      7 0.813 
 109      8 0.810 
 110      6 0.884 
 111     10 0.930 
 112      5 0.796 
 113      9 0.761 
 114      8 0.903 
 115      8 0.751 
 116      6 0.735 
 117      6 0.771 
 118     11 0.699 
 119      6 0.812 
 120      8 0.719 
 121     10 0.810 
 122      5 0.674 
 123      6 0.758 
 124      7 0.847 
 125     11 0.838 
 126      5 0.742 
 127     10 0.795 
 128      8 0.742 
 129     10 0.763 
 100     29 0.864 
 101     30 0.933 
 102     29 0.955 
 103     30 0.889 
 104     27 0.815 
 105     29 0.897 
 106     25 0.946 
 107     26 0.873 
 108     30 0.780 
 109     27 0.935 
 110     26 0.743 
 111     28 0.847 
 112     32 0.887 
 113     28 0.906 
 114     31 0.931 
 115     31 0.841 
 116     34 0.883 
 117     34 0.932 
 118     32 0.780 
 119     29 0.902 
 120     30 0.905 
 121     32 0.943 
 122     33 0.904 
 123     29 0.793 
 124     37 0.964 
 125     32 0.937 
 126     34 0.927 
 127     37 0.935 
 128     35 0.929 
 129     37 0.917 
 100     56 0.940 
 101     44 0.941 
 102     54 0.924 
 103     51 0.953 
 104     54 0.929 
 105     59 0.878 
 106     55 0.886 
 107     57 0.881 
 108     59 0.943 
 109     60 0.932 
 110     58 0.962 
 111     57 0.957 
 112     55 0.924 
 113     59 0.936 
 114     60 0.884 
 115     60 0.916 
 116     54 0.818 
 117     58 0.945 
 118     62 0.965 
 119     59 0.923 
 120     66 0.892 
 121     65 0.926 
 122     57 0.958 
 123     50 0.883 
 124     67 0.947 
 125     67 0.937 
 126     63 0.895 
 127     56 0.900 
 128     60 0.926 
 129     69 0.950 
 100    113 0.811 
 101    103 0.938 
 102    109 0.950 
 103    103 0.908 
 104    120 0.956 
 105    122 0.942 
 106    118 0.947 
 107    112 0.931 
 108    121 0.969 
 109    125 0.965 
 110    115 0.950 
 111    111 0.942 
 112    126 0.968 
 113    116 0.956 
 114    129 0.959 
 115    140 0.974 
 116    135 0.935 
 117    131 0.938 
 118    140 0.971 
 119    128 0.934 
 120    124 0.948 
 121    151 0.977 
 122    144 0.920 
 123    145 0.968 
 124    151 0.961 
 125    144 0.932 
 126    145 0.956 
 127    149 0.972 
 128    142 0.965 
 129    162 0.956 
 100     16 0.830 
 101     16 0.993 
 102     13 0.833 
 103     16 0.769 
 104     16 0.947 
 105     16 0.545 
 106     14 0.926 
 107     16 0.832 
 108     14 0.918 
 109     16 0.895 
 110     16 0.860 
 111     14 0.819 
 112     16 0.870 
 113     12 0.848 
 114     16 0.741 
 115     16 0.930 
 116     16 0.919 
 117     16 0.881 
 118     14 0.849 
 119     16 0.957 
 120     17 0.940 
 121     17 0.904 
 122     15 0.922 
 123     19 0.769 
 124     15 0.626 
 125     17 0.943 
 126     17 0.892 
 127     17 0.831 
 128     17 0.913 
 129     17 0.904 
 800    809 0.999 
 801    813 1.000 
 802    805 4.000 
 803    805 1.000 
 804    811 1.000 
 805    821 4.000 
 806    815 4.000 
 807    843 4.000 
 808    835 4.000 
 809    812 4.000 
 810    834 4.000 
 811    820 0.999 
 812    834 0.999 
 813    838 0.999 
 814    857 4.000 
 815    843 0.999 
 816    843 4.000 
 817    848 1.000 
 818    845 4.000 
 819    841 0.998 
 820    842 4.000 
 821    850 4.000 
 822    861 1.000 
 823    853 4.000 
 824    872 1.000 
 825    880 0.999 
 826    856 4.000 
 827    854 4.000 
 828    868 4.000 
 829    878 4.000 
 830    879 4.000 
 831    871 4.000 
 832    887 4.000 
 833    892 4.000 
 834    874 4.000 
 835    872 4.000 
 836    892 4.000 
 837    885 1.000 
 838    876 4.000 
 839    886 4.000 
 840    912 4.000 
 841    892 4.000 
 842    892 4.000 
 843    890 4.000 
 844    912 1.000 
 845    905 4.000 
 846    908 4.000 
 847    898 4.000 
 848    905 4.000 
 849    916 0.999 
 800    597 1.000 
 801    596 4.000 
 802    610 4.000 
 803    608 0.999 
 804    604 4.000 
 805    623 0.999 
 806    598 1.000 
 807    608 0.999 
 808    620 1.000 
 809    607 1.000 
 810    613 1.000 
 811    634 0.999 
 812    621 1.000 
 813    621 4.000 
 814    628 0.999 
 815    637 0.999 
 816    633 4.000 
 817    629 1.000 
 818    627 4.000 
 819    616 4.000 
 820    628 0.999 
 821    642 1.000 
 822    630 0.999 
 823    647 4.000 
 824    639 0.999 
 825    642 0.999 
 826    627 4.000 
 827    650 1.000 
 828    641 1.000 
 829    634 4.000 
 830    650 0.999 
 831    643 1.000 
 832    652 1.000 
 833    654 4.000 
 834    655 4.000 
 835    640 4.000 
 836    659 4.000 
 837    655 0.998 
 838    669 0.999 
 839    659 0.999 
 840    655 0.999 
 841    653 1.000 
 842    672 4.000 
 843    679 0.999 
 844    679 1.000 
 845    695 4.000 
 846    670 4.000 
 847    666 1.000 
 848    681 1.000 
 849    685 4.000 
 800     85 0.955 
 801     90 0.955 
 802     87 0.946 
 803     92 0.939 
 804     92 0.945 
 805     89 0.958 
 806     89 0.958 
 807     90 0.951 
 808     92 0.961 
 809     91 0.977 
 810     86 0.941 
 811     89 0.967 
 812     96 0.975 
 813     93 0.935 
 814     92 0.958 
 815     90 0.949 
 816     96 0.953 
 817     94 0.954 
 818     99 0.954 
 819     96 0.946 
 820     95 0.943 
 821     96 0.965 
 822     93 0.961 
 823     93 0.938 
 824     96 0.954 
 825     95 0.960 
 826     93 0.956 
 827     93 0.961 
 828     91 0.938 
 829     96 0.952 
 830     92 0.952 
 831     94 0.953 
 832     92 0.947 
 833     89 0.961 
 834     92 0.944 
 835    101 0.952 
 836     95 0.952 
 837     95 0.956 
 838     95 0.962 
 839     96 0.959 
 840     96 0.962 
 841    100 0.971 
 842     99 0.951 
 843     93 0.969 
 844     96 0.945 
 845     96 0.959 
 846     97 0.946 
 847     96 0.950 
 848     99 0.964 
 849     99 0.963 
 800     92 0.952 
 801     91 0.958 
 802     88 0.951 
 803     88 0.925 
 804     93 0.943 
 805     91 0.944 
 806     91 0.958 
 807     94 0.963 
 808     90 0.950 
 809     94 0.960 
 810     92 0.959 
 811     92 0.928 
 812     92 0.953 
 813     95 0.950 
 814     86 0.952 
 815     87 0.943 
 816     95 0.973 
 817     92 0.950 
 818     94 0.952 
 819     92 0.964 
 820     93 0.975 
 821     92 0.971 
 822     95 0.966 
 823     97 0.943 
 824     93 0.961 
 825     95 0.952 
 826     93 0.943 
 827     93 0.936 
 828     95 0.953 
 829     97 0.959 
 830     99 0.956 
 831    102 0.957 
 832     95 0.966 
 833     99 0.952 
 834     93 0.945 
 835     97 0.929 
 836     97 0.945 
 837    102 0.948 
 838    101 0.957 
 839     99 0.947 
 840    100 0.969 
 841     98 0.952 
 842     96 0.951 
 843    100 0.941 
 844     95 0.960 
 845    104 0.947 
 846    101 0.960 
 847    104 0.953 
 848    106 0.960 
 849    103 0.957