Goldbach's Conjecture Project

[Troll81]

Kod [Zaznacz] Rozwiń

http://goldbach.pl/

to projekt naszego kolegi :D

Kod [Zaznacz] Rozwiń

http://goldbach.pl/team_display.php?teamid=24 zespół

[sesef]

Rysiu od nas z forum?

Mam nadzieje, że szybko to ruszy i będą długie WU. Nie chciałbym dostać bana jak w Gerasizm za to, że będę liczyć szybciej niż inni :) przez co z Oxy typkowi serwer zagotowaliśmy.

I czym ten projekt się zajmuje? Tworzy listę liczb pierwszych?

[Troll81]

udowadnia tezę goldbacha :D

Kod [Zaznacz] Rozwiń

http://www.boincatpoland.org/wiki/Goldbach%27s_Conjecture_Project tu jest artykuł

[KrzychuP]

tylko jak dołączyć do teamu, bo nie widzę jakoś przycisku "JOIN"!!!??

jest jakieś ograniczenie ilości członków? bo do innych mniejszych teamów mogę dołączyć...

[ksysju]

Hi

A dobrze patrzysz  ;)

U mnie było.

[Troll81]

Sprawdź na innej przeglądarce :D

Z innych problemów. Nie wyświetla mi nazwy usera i teamu w menadżerze boinc na kompie.....


1)  Rysiu 
2) Aleksnder Parkitny [Founder]
3) cezary_m
4) Szopler 
5) emik 
6) Sesef 
7)  Ryszard 
8) OxyOne   
9) 7NBI_Zarecki 
10) ksysju 

mchl zabierz mi founda :D

[KrzychuP]

A dobrze patrzysz  ;)

Bardzo dobrze  XP

Kiedy klikam na jakiś inny zespół, to pod wierszem "Typ" zespołu jest "Dołącz do tego zespołu".
Po kliku na Boinc@Poland nie ma w ogóle tego wiersza  >:(

EDIT:
Dzięx Trollu, pomogło wejście z Explodera  ::)

Z innych problemów. Nie wyświetla mi nazwy usera i teamu w menadżerze boinc na kompie.....

U mnie to samo

[lolek]

ja też się dopiąłem, mam nadzieję że szybko ruszy

[OxyOne]

zobaczymy

[Peciak]

a co mi tam - melduje się do obliczeń

[Rysiu]

Tak. O tego Rysia chodzi.

Zobaczymy co z tego wyjdzie.  Mam kilka, a w zasadzie jedno konkretne pytanie w zakresie matematyki. Odpowiedź na pozór prosta ale jeden nauczyciel matematyki stwierdził, że "nie ma czasu", a drugi, "Nie wiem i nie oczekuj, że szybko dostaniesz odpowiedź na takie pytania".

Na dniach pewnie uderzę do jakiegoś dr, prof. ale domyślam się, że odpowiedź będzie brzmiała "Nie mam czasu na dowodzenie", a wszystko skończy się na zlodowaceniu stosunków pomiędzy ciekawskim studentem, a zamyślonym wykładowcą.

[stn]

Hmm a na czym to ma polegać? Będziemy szli z liczbami w górę i patrzyli czy się rozkładają? Bo to teoretycznie żmudna praca dla kompa : p

[Rysiu]

Żmudna jak wszystkie inne  ;) Jeszcze teraz jakoś nie można narzekać ale ostre schody dopiero zaczną się. Mam pomysł na kilka ver. aplikacji ale muszę przybrać się do grzebania w kodzie.

Dodam checkpoint'y i jeżeli znajdzie się ktoś chętny to zrobię trochę próbek na takiej samej zasadzie jak TJM. Zresztą pewnie napiszę o tym na zagranicznych forach.

Kod źródłowy nie jest żadną tajemnicą i można go znaleźć z aplikacjami na stronie:
http://goldbach.pl/applications.php

Jedna uwaga: na Linux'ie jest wydajniej.

[X X X]

 :wth: Łeeeee... XP

PS: Reklamacja - mam projekt w trybie "wstrzymaj" a on stale kontaktuje się z serwerem i wypisuje różne fajne rzeczy. I nie piszcie, że klient to i tamto, bo inne projekty tak nie mają.

[sesef]

Rozumiem, że projekt ma za zadanie udowodnić, że każda liczba nieparzysta da się rozłożyć na co najmniej jedną trójkę liczb pieszych. Jeśli dobrze rozumiem, to mam pomysł na inny rodzaj aplikacji niż sito Eratostenesa

[Rysiu]

Rozumiem, że projekt ma za zadanie udowodnić, że każda liczba nieparzysta da się rozłożyć na co najmniej jedną trójkę liczb pieszych. Jeśli dobrze rozumiem, to mam pomysł na inny rodzaj aplikacji niż sito Eratostenesa

Wszystkich to może nie. Dla słabej wystarczy sprawdzić "zaledwie" do 2*10^1346. Słaba zawiera się w mocnej.

Tak, w pierwotnej wersji nieparzysta na co najmniej jedną trójkę liczb pierwszych.

Podzielisz się pomysłem?  :)

[sesef]

Z tego co przeglądałem wyniki to jest spore prawdopodobieństwo, że będzie to suma w postaci 3 + x + y = z. Do programu można wczytać powiedzmy pierwsze 100k liczb pierwszych i podstawiać je kolejne pod x z tego uzyskamy coś takiego y = z - x - 3 następnie wystarczy sprawdzić czy y jest liczbą pierwszą. Takie rozwiązanie powinno być szybsze niż generowanie sita i sprawdzanie wszystkich kombinacji.

Edit
Zapomniałem o 1 napisać, jakby w tych 100k nie znalazło wyniku to powyżej 100k sprawdzałoby się pierwszość z i x.

[Akira]

Kiedy będzie robota  :attack: ?

[Rysiu]

Z tego co przeglądałem wyniki to jest spore prawdopodobieństwo, że będzie to suma w postaci 3 + x + y = z. Do programu można wczytać powiedzmy pierwsze 100k liczb pierwszych i podstawiać je kolejne pod x z tego uzyskamy coś takiego y = z - x - 3 następnie wystarczy sprawdzić czy y jest liczbą pierwszą. Takie rozwiązanie powinno być szybsze niż generowanie sita i sprawdzanie wszystkich kombinacji.

Edit
Zapomniałem o 1 napisać, jakby w tych 100k nie znalazło wyniku to powyżej 100k sprawdzałoby się pierwszość z i x.

Sita będę musiał prędzej czy później pozbyć się. Zaczynają się problemy z pamięcią. Aktualna metoda z sitem nie jest wcale wolna ale nie zaprzeczam, że można szybciej.

Jak w takich obliczeniach sprawdziłby się GPU?

Kiedy będzie robota  :attack: ?

Nie będę podawał konkretnych terminów. Najpierw pewnie wpuszczę aplikację testową.

Mam w systemie jakiegoś bubla.

[sesef]

Jak w takich obliczeniach sprawdziłby się GPU?

Jeśli chodzi o ATI to największy stream (coś w rodzaju tablicy danych na których operuje gpu) z tego co pamiętam może mieć 2^22 albo 2^26 elementów nie pamiętam dokładnie jest to w pewnym sensie limitowane pewnie przez stery no i sam ram, ale pewnie żeby się dało więcej elemtów to wyjdzie na to, że trzeba by było wymusić jakieś stery 9.7+, ale nawet przy tym 2^26 to daje maksymalna liczbę niewiele ponad 50bit i taka "tablica" zajmowałaby 1 GB ramu więc z miejsca to odpada.

Mam w systemie jakiegoś bubla.

Widzę, że nie masz najnowszej wersji może by wywalic wszystko i postawić wszystko od nowa na jakimś nowszym buildzie z tego co TJM mówił trafiłeś na jakiś bardzo buggowaty build.

[Rysiu]

Stawiałem cztery razy wszystko do początku. Teraz jest najnowsza wersja sprzed kilku dni. Mam jedną koncepcję i w środę/czwartek ją sprawdzę.

Co do samego programu to trzeba dobrze pomyśleć. Kulawym jestem programistą ale będzie okazja się podciągnąć. Wykorzystywanie kosmicznych ilości pamięci raczej nie przejdzie i konieczne jest rozwiązanie "na możliwości przeciętnego Kowalskiego".

[Rysiu]

Postanowiłem zrobić trochę zadań niestety nie na BOINC  XD

Może jednak ktoś skusi się i coś przeliczy zanim ogarnę wszystko i bardziej zoptymalizuję.

Zasadniczo WU Można znaleźć w katalogu: http://s2.goldbach.pl/wu/

Są to:

GSCE-SV-105-106 // NalesnikLD'
GSCE-SV-106-107 // Cezar
GSCE-SV-107-108
GSCE-SV-108-109 // Sesef

Czas obliczeń jednej próbki dla 1 v-core Intel Atom 330 wynosi ok. 48 godzin. Nie ma co się jednak tym martwić, bo na szybszych i kręconych CPU może on spaść poniżej 12 godzin.

Brakuje checkpoint'ów ale jak komuś urwie obliczenia to wielkiej straty nie będzie - można łatwo podejrzeć co obliczono.

Instrukcja? Odpalamy run.bat i czekamy. Utworzy się nam plik wynikowy o nazwie próbki i z rozszerzeniem txt.

OS to Windows. Na Linux'ie z tego co zaobserwowałem idzie to trochę szybciej ale nie wiem czy ktoś posiada pingwina i byłby zainteresowany. Nie wiem czy ktokolwiek byłby zainteresowany  XD

Oczywiście punkty dopisze się  BOINC z jakimś gratisem. Pewnie małe to pocieszenie bo i tak w statystykach GCP nie ma.


Dopisek: Oczywiście jeżeli ktoś się zdecyduje to niech o tym tutaj napisze ;)

[Peciak]

 Z racji tego ze nie można wyłączać kompa podczas obliczeń pisze sie na te obliczenia na przyszły tydzień 18.10.2009 jeżeli cos do obliczeń zostanie. dzisiaj zamówiłem nowy procek to będzie na czym poszaleć (phenom II 965BE) :attack:

[Rysiu]

Nie ma możliwości aby materiału na WU zabrakło. Raczej atrakcyjność mojej oferty jest niska  XD

[sesef]

Ja sobie mogę przeliczyć GSCE-SV-108-109 tylko wpierw zoptymalizuje sobie appke :)

[Rysiu]

Tylko nie zapomnij jej opublikować - z chęcią zerknę i naniosę odpowiednie poprawki  :)

[emik]

Rysiu ja mogę cusik policzyć na pingwinku

[NalesnikLD`]

to ja biorę GSCE-SV-105-106.zip (mam AMD 3000+ więc policzy troszkę...)

mam jeszcze pytanie " Dowiedli Oni, że każda liczba większa od n > e3100 czyli ok. 2·101346 spełnia warunek słabej hipotezy Goldbacha."

czyli jaka to właściwie jest liczba? jaki przedział nalezy zbadać?

[sesef]

to ja biorę GSCE-SV-105-106.zip (mam AMD 3000+ więc policzy troszkę...)

Podmień appka na to na amd sporo przyspieszy www.sesef.pl/pliki/gsce-sv_1.0.3.exe

[NalesnikLD`]

różnica w prędkości kolosalna. udostepnisz pliki źródłowe?

[cezar]

to liczę w takim razie GSCE-SV-106-107
:)

[sesef]

http://www.sesef.pl/pliki/GSCE-SV-108-109.zip wynik.

[Rysiu]

Oficjalna app nie jest lekko mówiąc bardzo "zoptymalizowana". Samo wypisywanie "ok" znacznie spowalnia.

[Rysiu]

mam jeszcze pytanie " Dowiedli Oni, że każda liczba większa od n > e3100 czyli ok. 2·101346 spełnia warunek słabej hipotezy Goldbacha."

czyli jaka to właściwie jest liczba? jaki przedział nalezy zbadać?

(7; 2·10¹³⁴⁶) dla słabej lub taki sam dla mocnej.

Zdublowałem posta: proszę o połączenie [jak trzeba].

[satanetv]

Dobra nikt się nie kwapi to biorę GSCE-SV-107-108

[cezar]

Dzięki za pierwsze punkciki  :parrrty:

[satanetv]

No i wyniki

http://www.eupload.pl/pfiles/7906/GSCE-SV-107-108.zip

[emik]

a jak tam z zadaniami na pingwinka??

[NalesnikLD`]

dzięki za odpowiedź.

a tu moje wyniki:

http://www.sendspace.com/file/jjsss0

liczba niestety zbyt kolosalna żeby za naszego życia sprawdzić jeden po drugim.

[Rysiu]

a jak tam z zadaniami na pingwinka??

Są. Musisz tylko sprawdzić czy app się odpali bo pewności nie ma. Startujemy z run.sh.

Linux:

GSCE-SV-97-98: http://s2.goldbach.pl/wu/GSCE-SV-97-98.zip // emik
GSCE-SV-98-99: http://s2.goldbach.pl/wu/GSCE-SV-98-99.zip // emik

Windows:

GSCE-SV-109-110: http://s2.goldbach.pl/wu/GSCE-SV-109-110.zip // Cezar
GSCE-SV-110-111: http://s2.goldbach.pl/wu/GSCE-SV-110-111.zip // Cezar
GSCE-SV-111-112: http://s2.goldbach.pl/wu/GSCE-SV-111-112.zip // Szopler
GSCE-SV-112-113: http://s2.goldbach.pl/wu/GSCE-SV-112-113.zip // Sesef

GWCE-SV-116.0-116.5 http://s2.goldbach.pl/wu/GWCE-SV-116.0-116.5.zip
GWCE-SV-116.5-117.0 http://s2.goldbach.pl/wu/GWCE-SV-116.5-117.0.zip
GWCE-SV-117.0-117.5 http://s2.goldbach.pl/wu/GWCE-SV-117.0-117.5.zip


Tylko nie pakujcie wyników RAR'em ;) Może być cokolwiek innego.