2011-03-04, 00:31
#1
Kod:
----------------------------- | | | | | | | | A |---------------------------| | | | | | | B ----------------------------- D C
Ditt uppdrag är att passera alla väggar i figuren utan att lyfta pennan. Men du får inte passera samma vägg två gånger. A,B,C och D har bara lagts ut för att göra figuren tydligare (skiljer väggarna åt). Men det finns ingen lösning. Det är bevisat att mazen är omöjlig att lösa.
Efter att man testat de alla möjliga sätten som finns att försöka ta sig igenom mazen så kan man vara fullständigt säker på att den inte går att lösa. Ett datorprogram har redan gjort detta (datorkod för den intresserade, C++):
Kod:
#include <iostream> // Fysikmotor 2008 /* 9 8 -------------------------------- | | - 1| "0" 10| "1" - 7 | 13 14 | 15 0 - |_____________|________________- "5" | | | - 2| 11| "3" 12| "4" - 6 | "2" | | - |_______________________________ 3 4 5 */ int tillatna_portar[6][10] = { // [rum][n_port] {1,9,10,13,14,-1}, // rum 0 {10,8, 7, 0, 15,-1}, // 1 {2,11,3,13,-1}, // 2 {11,4,12,15,14,-1}, // 3 {12,5,6,0,-1}, // 4 {1,2,3,4,5,6,7,8,9,-1} // 5 }; int port_till_rum[6][16] = { // nytt_rum = [nuvvarande_rum][tagen_port] {-1,5,-1,-1,-1,-1,-1,-1,-1,5,1,-1,-1,2,3,-1}, // rum 0 {4,-1,-1,-1,-1,-1,-1,5,5,-1,0,-1,-1,-1,-1,3}, // 1 {-1,-1,5,5,-1,-1,-1,-1,-1,-1,-1,3,-1,0,-1,-1}, // 2 {-1,-1,-1,-1,5,-1,-1,-1,-1,-1,-1,2,4,-1,0,1}, // 3 {1,-1,-1,-1,-1,5,5,-1,-1,-1,-1,-1,3,-1,-1,-1}, // 4 {-1,0,2,2,3,4,4,1,1,0,-1,-1,-1,-1,-1,-1}, // 5 }; class Game{ public: short nuvvarande_rum; bool passerade_vaggar[16]; int spel_historik[18]; int n_mojliga_drag(){ int rakna=0; for(int p=0; tillatna_portar[nuvvarande_rum][p] != -1; ++p) if(! passerade_vaggar[tillatna_portar[nuvvarande_rum][p]]){ ++rakna; } return rakna; } int mojlig_port(int n_mojlig_port){ // retunerar den n:te möjliga porten int rakna=0; for(int p=0; tillatna_portar[nuvvarande_rum][p] != -1; ++p) if(! passerade_vaggar[tillatna_portar[nuvvarande_rum][p]]){ if(rakna++==n_mojlig_port) return tillatna_portar[nuvvarande_rum][p]; } return -1; } Game(){ nuvvarande_rum=5; for(int i=0; i < 16; ++i) passerade_vaggar[i] = false; spel_historik[0]=-1; } void print_spelhistorik(){ std::cout<<"Spelhistorik: "; for(int i=0; spel_historik[i] != -1; ++i) std::cout<<spel_historik[i]<<", "; std::cout<<"\n\r"; } void gor_drag(int port){ passerade_vaggar[port]=true; nuvvarande_rum=port_till_rum[nuvvarande_rum][port]; int i=0; while(spel_historik[i]!=-1) ++i; spel_historik[i++]=port; spel_historik[i]=-1; } bool win(){ for(int i=0; i < 16; ++i){ if(passerade_vaggar[i]==0) return false; } return true; } bool lost(){ if(!win() && !n_mojliga_drag()) return true; else return false; } }; long forluster=0, vinster=0; void Move(Game &game, int new_move){ // new_move är ett portnummer Game _next_game; _next_game = game; _next_game.gor_drag(new_move); if(_next_game.win()){ std::cout<<"\r\nWin: "; _next_game.print_spelhistorik(); ++vinster; return; } if(_next_game.lost()){ ++forluster; std::cout<<"\rForluster: "<<forluster; return; } int max_moves=_next_game.n_mojliga_drag(); for(int i=0; i < max_moves; ++i){ Move(_next_game, _next_game.mojlig_port(i)); } } int main(){ Game start; for(int i=0; i < start.n_mojliga_drag(); ++i){ Move(start, start.mojlig_port(i)); std::cout<<"\r\nFas "<<i<<"\r\n"; } std::cout<<"\r\n===END==="; system("pause"); }
Att den är omöjlig att lösa går även att bevisa med den mattematiska grenen topologi.
Men tänk om.. tänk om den gick att lösa genom att bryta mot logikens lagar på något vis

Men lek med tanken. Tänk om det fanns en ologisk men ändå fungerande lösning? Att testa alla möjliga lösningar fungerade ju som sagt inte. Vad kan man göra då?
Definiera mazen som löst per se, by default, utan att man gör något? Då har man ju ändrat spelreglerna (vad som bestämmer att mazen är löst), och det ger ju det hela en logisk lösning. Så därför måste spelreglerna vara de vi utgick från början.
Vart kommer du med tanken? Om att lösa denna maze på ett ologiskt sätt men där den ändå logiskt sett anses vara löst? (trixa med förutsättningarna lite som du vill.. kanske vill du att den ska anses vara löst på ett ologiskt sätt istället för ett logiskt)
Vad ska vi diskutera? Tjaa, förgrena tråden var du vill från och med "Men tänk om..".
Då detta säkert inte går att lösa, kan man ställa samma fråga som man ställer sig om mazen: går det att lösa på något ologiskt vis som slutar upp med en logisk och löst lösning? Om svaret är nej, så kan man ställa sig samma fråga igen.... infinite regress.
Det jag helt enkelt försöker få er att göra är att leta efter kryphål i logiken

En spånad lösningsmetod för att få en sådan logisk lösning, som lösts i en ologisk värd där ologiska lösningsmetoder är möjliga (kommer fram till att lösningen inte kan representeras i denna verklighet):
Anta att vi har två verkligheter:
V1 och V2.
V1 är vår verklighet.
V2 är ett annat helt sjukt universum (resten av detta stycke är bara blaj för att beskriva ett ologiskt universum) där tiden går baklänges, sidan är upp, gräs växer neråt, att dö innebär att födas och 4dimensioner är minus7dimensioner, andkukar är ekvivalent med laptopbröd och 3 är 1 fast 1 är inte 3.. fast 3 är samtidigt men ändå inte samtidigt 1 en gång till tillbaka till framtiden förra gul mjältbrandssnäll.. osv. helt åt helvette dvs och utom förståelse och så konstig men ändå så inte konstigt att det inte ballar ur men ändå gör det.. ja du. En annan verklighet helt enkelt. En verklighet där det inte finns några andra verkligheter samtidigt som det finns andra verkligheter i dess grannverklighet V3.
Antag nu att vi har ett värde A, och en lista instruktioner I bestående av andra värden.
Om vi stoppar in både A och I i en dator så kommer en dator att alltid spotta ut samma värde B. Om vi ber en person att följa instruktionerna i I och hantera A efter dessa instruktioner så skall vi alltid få samma resultat.
Antag nu att vi har en metod för att kasta in A och I i V2.
i V2 tas detta emot och representeras på ett sätt som vi aldrig kan föreställa oss; dvs, vi vet inte om mazen i V2 längre är ett maze där. Men för att detta inte skall ske så har vi valt ut V2 efter följande egenskaper:
* Mazen representeras på samma sätt som här i V2.
* Om samma A stoppas in i V2 så får vi alltid tillbaka samma B, som i en dator.
* "Människorna/det" i V2 förstår våra instruktioner I. De förstår även våra logiska regler och lagar.
* V2 skiljer sig fortfarande från vår verklighet: mazet har en lösning under precis samma logiska förutsättningar och spelregler som vi har här.
Vi kastar in vårt Maze i V2.. det löses där med någon metod och häftighet som inte existerar i vår verklighet, fast det hela slutar i en, fullt för oss logisk lösning, som sedan skall skickas tillbaka.
Om man nu ändrar lite parametrar i min text ovan,
kan denna lösning representeras i vår värld tror du?
Eller hur skulle man tolka ett sådant resultat?
Eller lek med tanken. Tänk att V2 är något som lyckas konstruera en sådan lösning.
Fan vad coolt om man då fick se ett kryphål i logiken/aritmetiken t ex
.
V1 och V2.
V1 är vår verklighet.
V2 är ett annat helt sjukt universum (resten av detta stycke är bara blaj för att beskriva ett ologiskt universum) där tiden går baklänges, sidan är upp, gräs växer neråt, att dö innebär att födas och 4dimensioner är minus7dimensioner, andkukar är ekvivalent med laptopbröd och 3 är 1 fast 1 är inte 3.. fast 3 är samtidigt men ändå inte samtidigt 1 en gång till tillbaka till framtiden förra gul mjältbrandssnäll.. osv. helt åt helvette dvs och utom förståelse och så konstig men ändå så inte konstigt att det inte ballar ur men ändå gör det.. ja du. En annan verklighet helt enkelt. En verklighet där det inte finns några andra verkligheter samtidigt som det finns andra verkligheter i dess grannverklighet V3.
Antag nu att vi har ett värde A, och en lista instruktioner I bestående av andra värden.
Om vi stoppar in både A och I i en dator så kommer en dator att alltid spotta ut samma värde B. Om vi ber en person att följa instruktionerna i I och hantera A efter dessa instruktioner så skall vi alltid få samma resultat.
Antag nu att vi har en metod för att kasta in A och I i V2.
i V2 tas detta emot och representeras på ett sätt som vi aldrig kan föreställa oss; dvs, vi vet inte om mazen i V2 längre är ett maze där. Men för att detta inte skall ske så har vi valt ut V2 efter följande egenskaper:
* Mazen representeras på samma sätt som här i V2.
* Om samma A stoppas in i V2 så får vi alltid tillbaka samma B, som i en dator.
* "Människorna/det" i V2 förstår våra instruktioner I. De förstår även våra logiska regler och lagar.
* V2 skiljer sig fortfarande från vår verklighet: mazet har en lösning under precis samma logiska förutsättningar och spelregler som vi har här.
Vi kastar in vårt Maze i V2.. det löses där med någon metod och häftighet som inte existerar i vår verklighet, fast det hela slutar i en, fullt för oss logisk lösning, som sedan skall skickas tillbaka.
Om man nu ändrar lite parametrar i min text ovan,
kan denna lösning representeras i vår värld tror du?
Eller hur skulle man tolka ett sådant resultat?
Eller lek med tanken. Tänk att V2 är något som lyckas konstruera en sådan lösning.
Fan vad coolt om man då fick se ett kryphål i logiken/aritmetiken t ex

Som sagt så vet jag att svaret på trådens titel är nej.
. Jag menar inget annat. Roar mig bara med att försöka trotsa logiken. Lite som att försöka dyka i en sten.

__________________
Senast redigerad av fysikmotor 2011-03-04 kl. 00:36.
Senast redigerad av fysikmotor 2011-03-04 kl. 00:36.