[17:51] [Remiq]
Spectro ostatnio mi robił "test Einsteina"
[17:51] [eR]
to to z rybkami i papierosami?
[17:51] [Remiq]
robienie, czy drukowanie?
[17:51] [eR]
cały proces.
[17:52] [Remiq]
[ nie, z ciągiem w którym trzeba znaleźć kolejny element ]
[17:52] [eR]
[ jakie operacje mogą byc uzyte? ]
[17:53] [Remiq]
[ dostajesz po koleji kolejne elementy ciągu. Liczy się przy którym elemencie odgadniesz ]
[17:53] [Remiq]
jak chcesz, mogę Ci podesłać to, co ja zrobiłem. Mam w doc'u siedem rozdziałów, każdy jako img
[17:54] [eR]
czemu w taki sposób?
[17:54] [Remiq]
[ pierwszy element: M wiesz już, jaki bedzie następny? :P ]
[17:54] [eR]
[ pasuje np: M ]
[17:54] [Remiq]
ponieważ wątpię, by tam, gdzie będe drukował, był zainstalowany mc lub/i ps
[17:55] [eR]
możesz u mnie
[17:55] [Remiq]
[ strzelaj dalej uważasz, że przy jednym elemencie można wiedzieć, co to za ciąg? ]
[17:55] [eR]
[ cóż... strzelam w coś, co pasuje do pewnego ułożonego przeze mnie wzorca... wiesz - ciągłość kilku pochodnych. "M" pasuje Jeśli uważasz, że nie, to daj następną literę ]
[17:56] [Remiq]
hmmm, naprawdę? to może potem podesłałbym Ci rozdziały 8-inf (jak zrobię).
[17:57] [Remiq]
[ co prawda nie znam treści zadania i nie wiem, czy mogę dać taką podpowiedź, ale... "mając pierwszy element, można przewidzieć kolejny" ]
[17:58] [Remiq]
[ czyli jest to wykonalne. Wiedząc, że jest coś wykonalne, możesz się domyślić jakiejś rzeczy ]
[17:59] [Remiq]
[ chociaż ja sie nie domyśliłem o co chodzi w tym zadaniu i przy pierwszej literze chciałem dorysować kreskę po prawej stronie :P ]
[17:59] [eR]
[ nie mam zamiaru rozwiązywać tego zadania używając inteligencji... tylko ślepej matematyki. statystycznie dl atego typu zadań to podejście jest lepsze. drugim znakiem z takim samym prawdopodobieństwem może być cokolwiek. upieram się, że "M" pasuje, dopóki nie udowodnisz mi, że nie ]
[18:02] [Remiq]
[ udowodnić? bardzo prosto. Jest pewien wzór matematyczny, którego wynik jest wyrzucany na ekran za pomocą funkcji graficznej ]
[18:02] [Remiq]
[ każdy element jest inny, stąd nie pasuje ]
[18:03] [eR]
[ w dowodzie możesz korzystac tylko z faktów, które mi przekazałeś przed dowodem ]
[18:04] [Remiq]
[ dowód jest taki: Ja znam rozwiązanie i mówię Ci: Twoje jest złe ]
[18:04] [Remiq]
[ choć jako dowód mogę przedstawić inne ciągi ]
[18:04] [eR]
//map [...] ...
[18:05] [Remiq]
[ choć jest nieskończenie wiele ciągów, w których M jest pierwsze, to w zagadce chodzi tylko o jeden z nich. Tak naprawdę odgadniecie i bycie pewnym na 100% nie jest możliwe ]
[18:05] [eR]
wiesz przecież co mam na myśli...
z danych:
* jest reguła
* e[1] = "M"
mogę wywiooskować np. e[2] = "M"
i nie ma tu nigdzie błędu w moim rozumowaniu
[18:06] [eR]
(ponieważ ciąg o wyrazie ogólnym e[i] = "M" spełnia wszystkie założenia)
[18:06] [Remiq]
przypomina mi to opowieść jednego profesora analizy: "Drodzy studenci, mam dla was pewien ciąg. Podam wam dwa pierwsze wyrazy, a wy mi powiecie jaki jest trzeci: 2,6; 3,7"
[18:07] [Remiq]
przeciwnie. Nie możesz nic wywnioskować matematycznie z danych, które Ci podałem.
[18:07] [eR]
oczywiście, że niczego nie mogę wywniosokować. stąd "np."
[18:08] [Remiq]
Zgłosiła się najlepsza studentka i powiedziała, że trzeci wyraz to będzie 6,88. Na co profesor odpowiedział, że dwa pierwsze wyrazy, to była średnia z ich kolokwiów.
[18:08] [eR]
tak naprawdę nigdy nie można podać następnego wyrazu bez założenia ograniczonej złożoności i regularności wzoru
[18:09] [Remiq]
cóż, masz informację, że wzór jest logiczny. Dodatkowo masz informację, że zadanie to da się rozwiązać.
[18:09] [Remiq]
Czyli, że opiera się na innym ciągu, który powinieneś znać.
[18:09] [eR]
więc twierdzę, że ciąg e[i] = "M" pasuje do wszystkich danych mi informacji.
[18:10] [Remiq]
ja zaś odpowiadam Ci: To nie o ten ciąg mi chodzi.
[18:10] [Remiq]
gdy nie możesz zawęzić liczby rozwiązań do jakiejś normalnej, bierzesz kolejny obrazek, bądź strzelasz
[18:11] [eR]
cóż... mogę podać nieskończenie wiele ciągów pasujących do zadanych informacji.
ich wzór ogólny to: e[x] = { x=1 --> "M", x>1 --> f(x) }
[18:11] [eR]
Remiq... gdybym chciał to rozwiązać używając inteligencji, to bym tak postąpił... ale takie podejście mnie nie pociąga
[18:12] [Remiq]
dokładnie. Można podać nieskończoną liczbę prostych przez jeden punkt
[18:12] [Remiq]
już to powiedziałeś
[18:12] [eR]
nie, teraz podałem coś więcej.
[18:12] [Remiq]
Tyle, że ja twierdzę, że nie można matematycznie wystarczająco zawęzić pola poszukiwań
[18:13] [eR]
a ja nie dysponuję innym aparatem.
[18:13] [Remiq]
to jak, kolejny obrazek?
[18:13] [eR]
tj - nie włączyłem innego aparatu
[18:14] [Remiq]
nie włączanie tego aparatu często kończy się tragicznie
[18:14] [eR]
tego = coś innego niż 'stricte' ogika?
[18:15] [eR]
[logika]
[18:15] [Remiq]
> nie włączanie tego aparatu często kończy się tragicznie
przepraszam, tak naprawde to, to zdanie jest fałszywe
[18:16] [Remiq]
zarówno logika, umysł i inne ciekawe rzeczy nie są niezbędne, by świat się nie zawalił
[18:16] [eR]
ech... podsumuj moje dane
[18:17] [Remiq]
Twoje dane można skompresować do:
to może być każdy obrazek.
Z czym się zgadzam jako człowiek trzeźwo myślący, jednak jako zadający zagadkę (sam rozumiesz) nie mogę
[18:18] [eR]
mam to rozwiązywać jak automat, czy jak człowiek?
[18:19] [Remiq]
jeśli rozwiążesz to jak automat, naprawdę mi zaimponujesz
[18:19] [eR]
działanie automatu jest takie:
* znajdź najprostszą(*) funkcję ciągłą spełniającą zadane kryteria, pobierz z niej wartość następnego elementu
[18:20] [eR]
automat zawsze odpowiada "dobrze" - tj. nigdy nie sprzecznie z tym, co wie, ale potrzebuje nieskończonej ilości danych, żeby odpowiedzieć 100% dobrze
[18:20] [Remiq]
myślałem raczej o stworzeniu algorytmu, dzięki któremu krok po kroku dojdziesz do tego, jaki jest kolejny znak
[18:20] [Remiq]
oczywiście algorytm musi mieć odpowiednią (*) skuteczność
[18:20] [Remiq]
taką, żeby nie przemęczyć remiqa
[18:21] [eR]
a skąd. to niemożliwe korzystając zprzedstawionego aparatu.
[18:21] [Remiq]
cóż, dlatego byś mi zaimponował :P
[18:22] [Remiq]
przy jednym znaku, jest to trudne, przy dwóch, oczywiste
[18:22] [eR]
automat działa tak M --> MM N --> OM N P --> S...
[18:22] [Remiq]
ale czy można narysować wykres specyficznej funkcji liniowej, mając tylko jeden punkt?
[18:23] [Remiq]
przykro mi, automat w takim wypadku nie zadziała. Zauważ, że w zadaniu jako dziedzinę określono obrazek, a nie literę
[18:23] [eR]
nie, właśnie na tym polega "siłą" automatu... podając jeden punkt, nie mozesz określić[HALT]
[18:24] [eR]
wróćmy do początku
[18:24] [Remiq]
[18:24] [Remiq]
ok
[18:24] [Remiq]
jakie wartościowe informacje już Ci podałem?
[18:24] [eR]
[erased]
[18:25] [eR]
podałeś mi, że Spectro wykonywał na Tobie test Einsteina
[18:25] [Remiq]
tak. Na nim przeprowadził go Paulina
[18:26] [eR]
dane:
- da się rozwiązać po 1 symbolu.
- symbol 1 to coś w postaci |\/|
- po podaniu symbolu 2 będę wiedzieć co jest dalej
?
[18:26] [Remiq]
ten test polega na tym, że musisz znaleźć następny znak do podanego ciągu. Liczy się ile symboli potrzebowałeś, by to zgadnąć.
[18:27] [eR]
symbol = ?
[18:27] [Remiq]
1. da się rozwiązać po 1 symbolu.
Teoretycznie się da, choć nie wiem, czy ktoś to rozwiązał.
[18:27] [Remiq]
2. symbol 1 to coś w postaci |\/|
tak. Jest to dokładnie drukowane, duże M (bez ozdób)
[18:28] [Remiq]
3. po podaniu symbolu 2 będę wiedzieć co jest dalej
z pewnością tak. Choć Spectro, ani Paulina nie wiedzieli
[18:28] [eR]
(czym jest w tej zagadce "symbol"? karteczka z czymś narysowanym? litera? kreski?)
[18:28] [eR]
"W"
[18:29] [Remiq]
symbolem jest kilka krzywych
[18:29] [Remiq]
"W" mogłoby być symbolem, ale nie jest
[18:29] [eR]
tzn - nie jest symbolem, czy nie jest drugim symbolem?
[18:30] [Remiq]
W jest symbolem, ale nie drugim symbolem
[18:30] [Remiq]
symbole nie są tylko literami, choć zdarzają się i litery i cyfry, ale także jakieś dziwne znaczki
[18:31] [Remiq]
nazwanie tej zagadki zagadką Einsteina jest przesadą. Tak jak z tymi rybkami
[18:31] [eR]
w tym konkretnym ciągu, czy "ogólnie"?
[18:31] [Remiq]
w tym konketnym ciągu
[18:32] [eR]
aparat niematematyczny i nieautomatycny podpowiada mi mozliwości przy założeniu operowaniu na literach:
W, G, H, S
mogę się też spodziewać sigmy itp.
[18:33] [Remiq]
to jest zadanie, które może rozwiązać przedszkolak. No, powiedzmy uczeń podstawówki
[18:33] [Remiq]
co prawda nie na pierwszym wyrazie
Wrzuciłem na prywatny, bo inni joggerowcy by mnie zabili za takie zwiększenie głównej strony
