Program rozwiązujący "ortodoksyjne" wielochodówki

Moderator: redjok

Re: Program rozwiązujący "ortodoksyjne" wielochodówki

Postprzez msterkowiec » 22 maja 2020, 20:50

Wersja 2.0 programu: https://drive.google.com/file/d/16wJvfJ ... sp=sharing

(później napiszę nieco więcej, w każdym razie wersja zawiera zarówno nowy development, jak i ważne bug fixy)
Myślę, że Bóg pomaga ludzkości rozwiązywać stopniowo jej różnorakie problemy, poczynając od tych najważniejszych. Z perspektywy Boga każdy taki problem przypomina trochę szachową wielochodówkę. Im trudniejszy problem, tym dłuższa jest to wielochodówka
msterkowiec
 
Posty: 100
Dołączył(a): 05 gru 2014, 00:39
Podziękował : 1 raz
Otrzymał podziękowań: 44 razy
Ranking: 2000

Re: Program rozwiązujący "ortodoksyjne" wielochodówki

Postprzez msterkowiec » 31 maja 2020, 22:20

2.0.1: https://drive.google.com/file/d/1CrFoTW ... sp=sharing

Zawiera drobny, ale dość ważny fix (sam błąd - możliwe losowe false negative'y z b.małym prawododobieństwem w Safe Mode dotąd się nie ujawniał; run testowy z dodatkową asercją ujawnił możliwy problem)
Myślę, że Bóg pomaga ludzkości rozwiązywać stopniowo jej różnorakie problemy, poczynając od tych najważniejszych. Z perspektywy Boga każdy taki problem przypomina trochę szachową wielochodówkę. Im trudniejszy problem, tym dłuższa jest to wielochodówka
msterkowiec
 
Posty: 100
Dołączył(a): 05 gru 2014, 00:39
Podziękował : 1 raz
Otrzymał podziękowań: 44 razy
Ranking: 2000

Re: Program rozwiązujący "ortodoksyjne" wielochodówki

Postprzez msterkowiec » 07 cze 2020, 16:40

Trwają testy wersji 2.0.2 z drobnym niekrytycznym fixem.

Natomiast jako ciekawostkę przedstawię wyniki testów regresyjnych wersji 2.0.1, które były wykonane na dwóch maszynach w dwóch trybach pracy wielowątkowej:
1) tradycyjnie na 8-procesorowym AMD Ryzen 7 1700 (z hyperthreadingiem) w trybie 4^2, tzn. cztery wątki, z których każdy rozdziela na się na kolejne 4 w analizie drugiego ruchu
2) na 4-procesorowym Intel i5 3470 w trybie 4 wątków

Test podstawowy (prostsze, szybciej rozwiązujące się problemy) :
771e_AMD_Ryzen: Problems solved: 11359 Total time: 145 min. 7 sec.
771e_Intel: Problems solved: 11358 Total time: 171 min. 4 sec.

Test dodatkowy:
771e_AMD_Ryzen: Problems solved: 3012 Total time: 2038 min. 35 sec.
771e_Intel: Problems solved: 3012 Total time: 2516 min. 27 sec.

Wyraźnie ujawnia się tu przewaga trybu 4^2 nad trybem z 4 wątkami (na komputerach z przynajmniej ośmioma procesorami tryb 4^2 jest włączany domyślnie).

A to kilka przykładowych problemów, dla których różnica ujawnia się najmocniej:
https://pdb.dieschwalbe.de/search.jsp?e ... 'P1325009' (500 => 43868 msec., 531 => 49562 msec.)
http://www.yacpdb.org/?id=417461 (719 => 47752 msec., 688 => 51262 msec.)
http://www.yacpdb.org/?id=390108 (390 => 21326 msec., 328 => 21279 msec.)
http://www.yacpdb.org/?id=312510 (7657 => 270974 msec., 7360 => 197450 msec.)
https://pdb.dieschwalbe.de/search.jsp?e ... 'P1352128' (4188 => 118357 msec., 19406 => 140869 msec.)
Myślę, że Bóg pomaga ludzkości rozwiązywać stopniowo jej różnorakie problemy, poczynając od tych najważniejszych. Z perspektywy Boga każdy taki problem przypomina trochę szachową wielochodówkę. Im trudniejszy problem, tym dłuższa jest to wielochodówka
msterkowiec
 
Posty: 100
Dołączył(a): 05 gru 2014, 00:39
Podziękował : 1 raz
Otrzymał podziękowań: 44 razy
Ranking: 2000

Re: Program rozwiązujący "ortodoksyjne" wielochodówki

Postprzez msterkowiec » 10 cze 2020, 20:51

Wersja 2.0.2: https://drive.google.com/file/d/1bD4jO3 ... sp=sharing

Zawiera kilka niekrytycznych fixów (podnoszących stabilność programu).
Myślę, że Bóg pomaga ludzkości rozwiązywać stopniowo jej różnorakie problemy, poczynając od tych najważniejszych. Z perspektywy Boga każdy taki problem przypomina trochę szachową wielochodówkę. Im trudniejszy problem, tym dłuższa jest to wielochodówka
msterkowiec
 
Posty: 100
Dołączył(a): 05 gru 2014, 00:39
Podziękował : 1 raz
Otrzymał podziękowań: 44 razy
Ranking: 2000

Re: Program rozwiązujący "ortodoksyjne" wielochodówki

Postprzez msterkowiec » 20 lip 2020, 19:03

Wersja 2.0.3:
https://drive.google.com/file/d/1yZIQVt ... sp=sharing

Zawiera:
Fix na Sev.1, które się ujawniło na #13 8/2N5/8/8/1BkN4/2P1K3/8/5b2 ( https://pdb.dieschwalbe.de/search.jsp?e ... 'P1377327' ). Błąd był w rzadko używanej heurystyce SH_ONECOLORPLAYPOSSIBLE (obecnie użyteczna jest właściwie tylko przy #30 5b2/8/1p6/pPp1p1p1/p1PpPpP1/K2P1P2/N2N4/k7 https://pdb.dieschwalbe.de/search.jsp?e ... 'P1179874' http://www.yacpdb.org/?id=67704 )
Myślę, że Bóg pomaga ludzkości rozwiązywać stopniowo jej różnorakie problemy, poczynając od tych najważniejszych. Z perspektywy Boga każdy taki problem przypomina trochę szachową wielochodówkę. Im trudniejszy problem, tym dłuższa jest to wielochodówka
msterkowiec
 
Posty: 100
Dołączył(a): 05 gru 2014, 00:39
Podziękował : 1 raz
Otrzymał podziękowań: 44 razy
Ranking: 2000

Re: Program rozwiązujący "ortodoksyjne" wielochodówki

Postprzez msterkowiec » 25 lip 2020, 13:46

Wersja 2.0.4: https://drive.google.com/file/d/1B42prp ... sp=sharing

B.drobna zmiana dedykowana problemowi #20 1N4qr/2PPkP1P/8/8/2nbN3/3rppPR/ppppp1b1/6Kn ( https://pdb.dieschwalbe.de/search.jsp?e ... 'P1377812' ) - domyślne ustawianie heurystyki FindForcedMate dla tego typu pozycji. Czas rozwiązania nie powinien przekroczyć 10 minut na większości komputerów.
Myślę, że Bóg pomaga ludzkości rozwiązywać stopniowo jej różnorakie problemy, poczynając od tych najważniejszych. Z perspektywy Boga każdy taki problem przypomina trochę szachową wielochodówkę. Im trudniejszy problem, tym dłuższa jest to wielochodówka
msterkowiec
 
Posty: 100
Dołączył(a): 05 gru 2014, 00:39
Podziękował : 1 raz
Otrzymał podziękowań: 44 razy
Ranking: 2000

Re: Program rozwiązujący "ortodoksyjne" wielochodówki

Postprzez msterkowiec » 30 lip 2020, 21:29

Wersja 2.0.5: https://drive.google.com/file/d/1WovW4k ... sp=sharing

Zawiera drobną zmianę w silniku (nowy wyjątek podczas triggerowania heurystyki SH_ASSERTBLACKKINGSURROUNDED) ze względu na #19 1N4rr/2PPkP1P/2n5/2q5/4N3/4p1PR/ppppppbK/4B1Rn viewtopic.php?f=35&t=7497 (heurystyka była łamana w wariancie pobocznym 1. f:g8Q fg1Q+ 2. K:g1 de1Q+ 3. Kh2 Q:g3+ 4. N:g3! R:g8 (cz.król ma teraz do dyspozycji 5 wolnych pól, ale możliwość odbicia na g8 z promocją na damę przywraca status quo, tj. cz. król pozostaje względnie otoczony)

Przed zmianą program znajdował rozwiązanie w ponad 10h (niechcący na chwilę go zostawiłem bez opieki... ; ) a teraz wystarcza kilka minut
Myślę, że Bóg pomaga ludzkości rozwiązywać stopniowo jej różnorakie problemy, poczynając od tych najważniejszych. Z perspektywy Boga każdy taki problem przypomina trochę szachową wielochodówkę. Im trudniejszy problem, tym dłuższa jest to wielochodówka
msterkowiec
 
Posty: 100
Dołączył(a): 05 gru 2014, 00:39
Podziękował : 1 raz
Otrzymał podziękowań: 44 razy
Ranking: 2000

Re: Program rozwiązujący "ortodoksyjne" wielochodówki

Postprzez msterkowiec » 12 wrz 2020, 20:52

Wersja 2.0.7: https://drive.google.com/file/d/16_HUFn ... sp=sharing

Zawiera drobne usprawnienia w wyborze heurystyk ze względu na #14 8/b7/8/5R2/7K/B7/p7/rk2Nb2 (https://pdb.dieschwalbe.de/search.jsp?e ... 'P1379701' ) oraz #23 3n1b2/p1pKn3/3p2p1/k5p1/P2p4/1R1B2p1/1NP1p3/6rr (https://pdb.dieschwalbe.de/search.jsp?e ... 'P1379587' )

Wcześniejszy release (2.0.6) zawiera drobną zmianę przy wyborze heurystyk ze względu na #15 K7/4RBBp/2p5/3pPkp1/N2P1pbr/p2Pr1p1/1b6/6N1 https://pdb.dieschwalbe.de/search.jsp?e ... 'P1378191'
Myślę, że Bóg pomaga ludzkości rozwiązywać stopniowo jej różnorakie problemy, poczynając od tych najważniejszych. Z perspektywy Boga każdy taki problem przypomina trochę szachową wielochodówkę. Im trudniejszy problem, tym dłuższa jest to wielochodówka
msterkowiec
 
Posty: 100
Dołączył(a): 05 gru 2014, 00:39
Podziękował : 1 raz
Otrzymał podziękowań: 44 razy
Ranking: 2000

Re: Program rozwiązujący "ortodoksyjne" wielochodówki

Postprzez msterkowiec » 20 wrz 2020, 22:49

Wersja 2.0.8: https://drive.google.com/file/d/1arf-Of ... sp=sharing

Zawiera drobne usprawnienie (wyjątek w triggerowaniu heurystyki DONTLOSEANYFIGURES) ze względu na #20 6B1/1pR5/prp3p1/rkP3P1/bP6/1pP1p3/1P2p3/4K3 ( http://www.yacpdb.org/?id=312518 )

Nawiasem mówiąc problem ten bardzo mi się podoba:

Gerald Ettl, 1998, #20
[FEN "6B1/1pR5/prp3p1/rkP3P1/bP6/1pP1p3/1P2p3/4K3 w - - 0 1"]

Rozwiązanie:
Myślę, że Bóg pomaga ludzkości rozwiązywać stopniowo jej różnorakie problemy, poczynając od tych najważniejszych. Z perspektywy Boga każdy taki problem przypomina trochę szachową wielochodówkę. Im trudniejszy problem, tym dłuższa jest to wielochodówka
msterkowiec
 
Posty: 100
Dołączył(a): 05 gru 2014, 00:39
Podziękował : 1 raz
Otrzymał podziękowań: 44 razy
Ranking: 2000

Re: Program rozwiązujący "ortodoksyjne" wielochodówki

Postprzez msterkowiec » 11 paź 2020, 20:00

Wersja 2.0.9:
https://drive.google.com/file/d/19PcYl0 ... sp=sharing

Zawiera kilka względnie drobnych, ale całkiem istotnych bug fixów na problemy, które nie ujawniły się w teście regresyjnym poprzedniej wersji (2.0.8).

PS. Testy regresyjne wersji 2.0.9 zakończone powodzeniem
Myślę, że Bóg pomaga ludzkości rozwiązywać stopniowo jej różnorakie problemy, poczynając od tych najważniejszych. Z perspektywy Boga każdy taki problem przypomina trochę szachową wielochodówkę. Im trudniejszy problem, tym dłuższa jest to wielochodówka
msterkowiec
 
Posty: 100
Dołączył(a): 05 gru 2014, 00:39
Podziękował : 1 raz
Otrzymał podziękowań: 44 razy
Ranking: 2000

Re: Program rozwiązujący "ortodoksyjne" wielochodówki

Postprzez msterkowiec » 24 paź 2020, 16:01

Wersja 2.0.10:
https://drive.google.com/file/d/1ipF79H ... sp=sharing

Zawiera dwa fixy w GUI:
1) w zakładce "Position details" dane o pozycji max. siedmiobierkowej nie wyświetlały się natychmiast po automatycznym pobraniu z serwisu Syzygy/Lichess, a dopiero po jakiejś akcji użytkownika w GUI
2) okno wyboru piku do otwarcia/zapisu zmieniało bieżący katalog programu, co skutkować mogło problemami z zapisem do SavedTmpSyzygyData itp.
Myślę, że Bóg pomaga ludzkości rozwiązywać stopniowo jej różnorakie problemy, poczynając od tych najważniejszych. Z perspektywy Boga każdy taki problem przypomina trochę szachową wielochodówkę. Im trudniejszy problem, tym dłuższa jest to wielochodówka
msterkowiec
 
Posty: 100
Dołączył(a): 05 gru 2014, 00:39
Podziękował : 1 raz
Otrzymał podziękowań: 44 razy
Ranking: 2000

Poprzednia strona

Powrót do Programy i komputery szachowe

Kto przegląda forum

Użytkownicy przeglądający ten dział: Brak zidentyfikowanych użytkowników i 3 gości



REKLAMA

Gdy masz problemy z matma czasami najlepszym rozwiazaniem sa Korepetycje z Matematyki
Zadania Szachowe