W&T Wetenschap & Technologie
Een plek om te discussiëren over wetenschappelijke onderwerpen, wetenschappelijke problemen, technologische projecten en grootse uitvindingen.
Welkom in het topic over de AIVD kerstpuzzel, dé puzzel voor iedereen die op zoek is naar een kerstpuzzel die net ietsje anders is dan de gangbare kruiswoordraadsels. Zowel ervaren puzzelaars als beginnelingen zijn in dit topic welkom om mee te praten over het puzzel-hoogtepunt van dit jaar 
Over de kerstpuzzel
De kerstpuzzel bestaat uit een aantal cryptografische opgaves, die onafhankelijk van elkaar op te lossen zijn. De puzzels vereisen redenerend vermogen, google skills en een flinke portie doorzettingsvermogen. Een basiskennis van de cryptografie is een voordeel bij het oplossen van de puzzel
Voor de winnaar ligt er eeuwige roem én de felbegeerde beker in het verschiet.
Belangrijke data
- 12 januari 2021 23:59 uur: uiterste inzenddatum van het antwoordformulier
Errata
Soms sluipen er wat schoonheidsfoutjes in bij het maken van de kerstpuzzel. De errata worden gepubliceerd op de website van de AIVD, dus houd deze zeker in de gaten tijdens het puzzelen.
Nuttige websites
- De spelregels van de AIVD kerstpuzzel
- Geocaching Toolbox
- Vaak terugkerende versleutelingstechnieken
- De Top 2000
- Alles over Jan Smit
- De opgaves (en antwoorden!) van de voorgaande edities
Huisregels in dit topic
- Plaats nooit (gedeeltelijke) antwoorden op de puzzels, zelfs niet na de uiterste inleverdatum
- Hints plaatsen mag, maar met mate en in spoilertags. Hints mogen niet direct tot de oplossing leiden: er moet altijd nog wat te puzzelen blijven
- Bij twijfel, of als je denkt dat een hint te ver gaat: stuur een DM naar Lyrebird.
Veel succes en vooral veel puzzelplezier allemaal!
Hier is de Kerstpuzzel 2020 te vinden!
Sinds 2019 is er naast de gewone kerstpuzzel ook een speciale juniorkerstpuzzel, gericht op jongeren t/m 15 jaar. Ook daar is een topic over beschikbaar:
W&T / AIVD Juniorkerstpuzzel
Over de kerstpuzzel
De kerstpuzzel bestaat uit een aantal cryptografische opgaves, die onafhankelijk van elkaar op te lossen zijn. De puzzels vereisen redenerend vermogen, google skills en een flinke portie doorzettingsvermogen. Een basiskennis van de cryptografie is een voordeel bij het oplossen van de puzzel
Voor de winnaar ligt er eeuwige roem én de felbegeerde beker in het verschiet.
Belangrijke data
- 12 januari 2021 23:59 uur: uiterste inzenddatum van het antwoordformulier
Errata
Soms sluipen er wat schoonheidsfoutjes in bij het maken van de kerstpuzzel. De errata worden gepubliceerd op de website van de AIVD, dus houd deze zeker in de gaten tijdens het puzzelen.
Nuttige websites
- De spelregels van de AIVD kerstpuzzel
- Geocaching Toolbox
- Vaak terugkerende versleutelingstechnieken
- De Top 2000
- Alles over Jan Smit
- De opgaves (en antwoorden!) van de voorgaande edities
Huisregels in dit topic
- Plaats nooit (gedeeltelijke) antwoorden op de puzzels, zelfs niet na de uiterste inleverdatum
- Hints plaatsen mag, maar met mate en in spoilertags. Hints mogen niet direct tot de oplossing leiden: er moet altijd nog wat te puzzelen blijven
- Bij twijfel, of als je denkt dat een hint te ver gaat: stuur een DM naar Lyrebird.
Veel succes en vooral veel puzzelplezier allemaal!
Hier is de Kerstpuzzel 2020 te vinden!
Sinds 2019 is er naast de gewone kerstpuzzel ook een speciale juniorkerstpuzzel, gericht op jongeren t/m 15 jaar. Ook daar is een topic over beschikbaar:
W&T / AIVD Juniorkerstpuzzel
Op donderdag 14 januari 2021 12:54 schreef Erbo79 het volgende:quote:[..]
Trouwens, ik weet niet wie WolframAlpha op het forum noemde, maar nog bedankt voor de tip! Dat is mooi speelgoed
hmm, ik ben er dus ook ingetrapt bij 4 en bij 19 doet niets van mijn oplossing een lampje branden bij de hint. Kan ik die bij iemand checken?
Als je groep en getal googlet, zie je dat het een dimensie is. Zo niet, dan is het waarschijnlijk fout.quote:
[ afbeelding ] Op donderdag 14 januari 2021 12:54 schreef Erbo79 het volgende:
[..]
hmm, ik ben er dus ook ingetrapt bij 4 en bij 19 doet niets van mijn oplossing een lampje branden bij de hint. Kan ik die bij iemand checken?
Kan iemand me uitleggen waar de themahints van 8 & 20 zaten?
In 20 heb ik wel gezocht maar ik kon niets vinden. En bij 8 heb ik geen idee hoe daar een hint uit te halen is.
In 20 heb ik wel gezocht maar ik kon niets vinden. En bij 8 heb ik geen idee hoe daar een hint uit te halen is.
Nou ja ik kan het uitleggen, maar goed of dat ook bedoelt wordt is altijd maar de vraag. Want die lijst van opgaven met hints die ze aandragen is wel weer lekker vaag.quote:Op donderdag 14 januari 2021 15:08 schreef Legoblokje het volgende:
Kan iemand me uitleggen waar de themahints van 8 & 20 zaten?
In 20 heb ik wel gezocht maar ik kon niets vinden. En bij 8 heb ik geen idee hoe daar een hint uit te halen is.
Dus ik hou het ook lekker vaag:
SPOILER: 8Om spoilers te kunnen lezen moet je zijn ingelogd. Je moet je daarvoor eerst gratis Registreren. Ook kun je spoilers niet lezen als je een ban hebt.SPOILER: 20Om spoilers te kunnen lezen moet je zijn ingelogd. Je moet je daarvoor eerst gratis Registreren. Ook kun je spoilers niet lezen als je een ban hebt.
quote:Op donderdag 14 januari 2021 15:07 schreef thabit het volgende:
[..]
Als je groep en getal googlet, zie je dat het een dimensie is. Zo niet, dan is het waarschijnlijk fout.
SPOILER: wil de echte wiskundige opstaanOm spoilers te kunnen lezen moet je zijn ingelogd. Je moet je daarvoor eerst gratis Registreren. Ook kun je spoilers niet lezen als je een ban hebt.
We maken nog een kans!quote:
[..]
Ik heb die thema van 20 niet, ik weet wat er zou moeten en ik kan me wel voor de kop slaan. Heb er wel hele lange titels gevonden, maar dat is waarschijnlijk onbewust. De rest heb ik (denk ik) wel. Maar je weet het natuurlijk maar nooit
Met de hints erbij een paar keer mezelf voor mijn kop geslagen, maar ook dat hoort bij de puzzel :-) Nog steeds benieuwd naar 8 (sleutel heb ik wel, maar dan?). Als iemand me daarbij kan helpen, graag.
Zijn er eigenlijk al mensen ziek geworden na de deadline?
Zijn er eigenlijk al mensen ziek geworden na de deadline?
AIVD kerstpuzzel 2024
Ik heb 'm opgelost, maar ik snap nog steeds niet waarom die sleutel er zo in moet.quote:
Met de hints erbij een paar keer mezelf voor mijn kop geslagen, maar ook dat hoort bij de puzzel :-) Nog steeds benieuwd naar 8 (sleutel heb ik wel, maar dan?). Als iemand me daarbij kan helpen, graag.
Zijn er eigenlijk al mensen ziek geworden na de deadline?
quote:Op donderdag 14 januari 2021 15:33 schreef Erbo79 het volgende:
[..]Deze overledene zat natuurlijk ook al in de blokjes onderaan de pagina's.SPOILER: wil de echte wiskundige opstaanOm spoilers te kunnen lezen moet je zijn ingelogd. Je moet je daarvoor eerst gratis Registreren. Ook kun je spoilers niet lezen als je een ban hebt.
Maar ik ken niet alle dimensies van alle relevante representaties van alle sporadische groepen uit m'n hoofd, dus herkende het getal niet als zodanig. Ik vond het al wel raar waarom ze het een minimonster in plaats van een babymonster noemden.
quote:Op donderdag 14 januari 2021 16:22 schreef IshaD het volgende:
[..]
Ik heb 'm opgelost, maar ik snap nog steeds niet waarom die sleutel er zo in moet.
SPOILER: 8Om spoilers te kunnen lezen moet je zijn ingelogd. Je moet je daarvoor eerst gratis Registreren. Ook kun je spoilers niet lezen als je een ban hebt.
quote:
[..]Dankjewel, geen wonder dat ik er niet op kwam, maar ik kan nu wel rustig slapen.SPOILER: 8Om spoilers te kunnen lezen moet je zijn ingelogd. Je moet je daarvoor eerst gratis Registreren. Ook kun je spoilers niet lezen als je een ban hebt.AIVD kerstpuzzel 2024
quote:Volgens mij waren ze nog in de beschonken toestand van oud-/nieuwjaarsnacht 2019/2020 toen ze een beetje te ver doordraaiden bij het maken van deze puzzelSPOILER: 8Om spoilers te kunnen lezen moet je zijn ingelogd. Je moet je daarvoor eerst gratis Registreren. Ook kun je spoilers niet lezen als je een ban hebt..
Absoluut, Dat worden een paar spannende maanden afwachten. Tenzij er nog ergens iemand is, die ook alles heeft opgelost en alle hints gevonden heeftquote:
quote:
[..]SPOILER: 8Om spoilers te kunnen lezen moet je zijn ingelogd. Je moet je daarvoor eerst gratis Registreren. Ook kun je spoilers niet lezen als je een ban hebt.SPOILER: 8Om spoilers te kunnen lezen moet je zijn ingelogd. Je moet je daarvoor eerst gratis Registreren. Ook kun je spoilers niet lezen als je een ban hebt.
Ik snap hint 2 van opgave 20 niet
SPOILEROm spoilers te kunnen lezen moet je zijn ingelogd. Je moet je daarvoor eerst gratis Registreren. Ook kun je spoilers niet lezen als je een ban hebt.
quote:
Ik snap hint 2 van opgave 20 nietSPOILEROm spoilers te kunnen lezen moet je zijn ingelogd. Je moet je daarvoor eerst gratis Registreren. Ook kun je spoilers niet lezen als je een ban hebt.SPOILEROm spoilers te kunnen lezen moet je zijn ingelogd. Je moet je daarvoor eerst gratis Registreren. Ook kun je spoilers niet lezen als je een ban hebt.
quote:
[..]Dank, daar kan ik wel wat mee denk ik!SPOILEROm spoilers te kunnen lezen moet je zijn ingelogd. Je moet je daarvoor eerst gratis Registreren. Ook kun je spoilers niet lezen als je een ban hebt.
Zo is hij in elk geval wel heel leuk om op te lossen vond ik, veel leuker dan als je hem gaat programmerenquote:
[..]
Dank, daar kan ik wel wat mee denk ik!
quote:
[..]SPOILER: 8Om spoilers te kunnen lezen moet je zijn ingelogd. Je moet je daarvoor eerst gratis Registreren. Ook kun je spoilers niet lezen als je een ban hebt.SPOILER: 8Om spoilers te kunnen lezen moet je zijn ingelogd. Je moet je daarvoor eerst gratis Registreren. Ook kun je spoilers niet lezen als je een ban hebt.
quote:
[..]SPOILER: 8Om spoilers te kunnen lezen moet je zijn ingelogd. Je moet je daarvoor eerst gratis Registreren. Ook kun je spoilers niet lezen als je een ban hebt.SPOILEROm spoilers te kunnen lezen moet je zijn ingelogd. Je moet je daarvoor eerst gratis Registreren. Ook kun je spoilers niet lezen als je een ban hebt.
quote:
[..]Helaas.. Ik vond het al zo'n vage zin.SPOILEROm spoilers te kunnen lezen moet je zijn ingelogd. Je moet je daarvoor eerst gratis Registreren. Ook kun je spoilers niet lezen als je een ban hebt.
Is er trouwens iemand die 17 heeft opgelost zonder programmeren? De sleutel in de hint had ik ook gevonden (denk ik tenminste), maar een script schrijven met fatsoenlijke rekentijd is nog steeds een uitdaging!
17a heb ik met de hand gedaan, dat was goed te doen. 17b heb ik geprogrammeerd, zo was die ook goed te doen. Mijn script deed er 2 minuten over. Vooral niet programmeren zoals je 17a met de hand oplostquote:
Is er trouwens iemand die 17 heeft opgelost zonder programmeren? De sleutel in de hint had ik ook gevonden (denk ik tenminste), maar een script schrijven met fatsoenlijke rekentijd is nog steeds een uitdaging!
Alleen formules in Excel gebruikt voor a&b. Dus is te doen.quote:
Is er trouwens iemand die 17 heeft opgelost zonder programmeren? De sleutel in de hint had ik ook gevonden (denk ik tenminste), maar een script schrijven met fatsoenlijke rekentijd is nog steeds een uitdaging!
Dat was zeker een leuke avondquote:
[..]
Alleen formules in Excel gebruikt voor a&b. Dus is te doen.
Echt waar? Of heb ik dan nog niet de juiste sleutel gevonden?quote:
[..]
Alleen formules in Excel gebruikt voor a&b. Dus is te doen.
SPOILEROm spoilers te kunnen lezen moet je zijn ingelogd. Je moet je daarvoor eerst gratis Registreren. Ook kun je spoilers niet lezen als je een ban hebt.
quote:
[..]
Echt waar? Of heb ik dan nog niet de juiste sleutel gevonden?SPOILEROm spoilers te kunnen lezen moet je zijn ingelogd. Je moet je daarvoor eerst gratis Registreren. Ook kun je spoilers niet lezen als je een ban hebt.SPOILER: 17Om spoilers te kunnen lezen moet je zijn ingelogd. Je moet je daarvoor eerst gratis Registreren. Ook kun je spoilers niet lezen als je een ban hebt.
quote:
[..]SPOILER: 17Om spoilers te kunnen lezen moet je zijn ingelogd. Je moet je daarvoor eerst gratis Registreren. Ook kun je spoilers niet lezen als je een ban hebt.SPOILEROm spoilers te kunnen lezen moet je zijn ingelogd. Je moet je daarvoor eerst gratis Registreren. Ook kun je spoilers niet lezen als je een ban hebt.
Ja ja, ik voel me intussen helemaal nietig!quote:
Ik heb 17 volledig met de hand gedaan
Wel opvallend dat hoogscoorders als PZZLD en Escalatievogel dat met de hand doen. Althans, a heb ik ook wel met de hand gedaan, maar b niet.
“That's why they call it the American Dream, because you have to be asleep to believe it.”― George Carlin
quote:
[..]SPOILEROm spoilers te kunnen lezen moet je zijn ingelogd. Je moet je daarvoor eerst gratis Registreren. Ook kun je spoilers niet lezen als je een ban hebt.SPOILEROm spoilers te kunnen lezen moet je zijn ingelogd. Je moet je daarvoor eerst gratis Registreren. Ook kun je spoilers niet lezen als je een ban hebt.
quote:
[..]SPOILEROm spoilers te kunnen lezen moet je zijn ingelogd. Je moet je daarvoor eerst gratis Registreren. Ook kun je spoilers niet lezen als je een ban hebt.SPOILEROm spoilers te kunnen lezen moet je zijn ingelogd. Je moet je daarvoor eerst gratis Registreren. Ook kun je spoilers niet lezen als je een ban hebt.AIVD puzzel 2024:
1, 2, 3, 4, 5, 6, 7, 8, 10, 11, 13, 14abc, 15, 16, 17, 18a, 19, 22, 24abc, 25abc, 27
quote:
[..]SPOILEROm spoilers te kunnen lezen moet je zijn ingelogd. Je moet je daarvoor eerst gratis Registreren. Ook kun je spoilers niet lezen als je een ban hebt.SPOILEROm spoilers te kunnen lezen moet je zijn ingelogd. Je moet je daarvoor eerst gratis Registreren. Ook kun je spoilers niet lezen als je een ban hebt.
quote:
[..]17a in 131 ms, b duurde dan wel weer wat langerSPOILEROm spoilers te kunnen lezen moet je zijn ingelogd. Je moet je daarvoor eerst gratis Registreren. Ook kun je spoilers niet lezen als je een ban hebt.
Ik heb 17a overigens ook met de hand gedaan (ik kan sowieso niet programmeren) en dat duurde ongeveer 1.5 uur, dus dat is echt goed te doen. 17b ben ik niet aan begonnen, die met de hand doen is insane in vergelijking met 17a, dus ik ben bezig gegaan met andere opgaven waar ik meer kans van slagen dacht te hebben. Sowieso loste ik 17a pas in de laatste week op, anders had ik 17b wellicht nog geprobeerd.
Ik heb sowieso geen andere keus, want ik kan niet programmerenquote:
Wel opvallend dat hoogscoorders als PZZLD en Escalatievogel dat met de hand doen. Althans, a heb ik ook wel met de hand gedaan, maar b niet.
.
Ik vind het ook bevredigender om iets met alleen logica op te kunnen lossen, zo ook bijv bij vraag 20. Maar slim programmeren is ook een kunst op zich. En knap hoor, als je dan een programma schrijft dat deze vraag in 131 ms kan oplossen! Of was dat wellicht met de Q system one...?
[ Bericht 1% gewijzigd door mister_xxx op 14-01-2021 21:32:11 ]
[ Bericht 1% gewijzigd door mister_xxx op 14-01-2021 21:32:11 ]
Ik maak voor dit soort puzzels altijd mijn eigen interactieve tools en dan doe ik het met de hand maar wel met wat hulp. Ik gok dat dit precies hetzelfde werkt als werken met excel, maar ik heb geen zin om me te verdiepen in excel.
Ik zou ook wel weten hoe je een opgave als 17 heel snel kunt vinden met CSP-achtige dingen. Maar als het niet nodig is, puzzel ik liever iets meer. Maar goed ik moet wel opbiechten dat ik 20 wel via pure CSP heb opgelost, want daar had ik geen fut meer voor
Ik zou ook wel weten hoe je een opgave als 17 heel snel kunt vinden met CSP-achtige dingen. Maar als het niet nodig is, puzzel ik liever iets meer. Maar goed ik moet wel opbiechten dat ik 20 wel via pure CSP heb opgelost, want daar had ik geen fut meer voor
Minder werkopgaven betekent minder voordeel voor programmeurs en meer voordeel voor de echte puzzelaars. (Tenzij je een logica gebruikt die heel lastig met CSP te programmeren is). Ze hadden bijvoorbeeld met die slitherlink echt wel kans gehad om het programmeurs iets lastiger te maken door te focussen op het vormen van de lus.quote:
Ik vind het ook bevredigender om iets met alleen logica op te kunnen lossen, zo ook bijv bij vraag 20. [knip]
Haha ik had juist precies het tegenovergestelde. Na 17a handmatig gedaan te hebben vond ik het wel mooi geweest. 20 was juist erg leuk om met de hand te doen
Verder is een Slitherlink een leuk puzzeltje om te doen. Veel leuker dan het overtypen van het probleem in de computer
Vaak zie je dat ze bij dat soort opgave er voor zorgen dat je het antwoord halverwege moet gaan gebruiken om de oplossing te vinden. Had bij de Slitherlink ook makkelijk gekund, als het antwoord niet zo'n... ehm... hoge entropie hadquote:
Ze hadden bijvoorbeeld met die slitherlink echt wel kans gehad om het programmeurs iets lastiger te maken door te focussen op het vormen van de lus.
Verder is een Slitherlink een leuk puzzeltje om te doen. Veel leuker dan het overtypen van het probleem in de computer
Nu ben ik wel benieuwd naar hoe zo'n interactieve tool eruit ziet die jij maakt! Heb je misschien een voorbeeld/screenshot?quote:
Ik maak voor dit soort puzzels altijd mijn eigen interactieve tools en dan doe ik het met de hand maar wel met wat hulp. Ik gok dat dit precies hetzelfde werkt als werken met excel, maar ik heb geen zin om me te verdiepen in excel.
Die Slitherlink was erg leuk inderdaad! Dit is sowieso het eerste jaar dat ik meedoe, en die Slitherlink was best toegankelijk omdat daar direct duidelijk is wat je moet doen. Het vinden van de oplossing was net zo spannend als het vinden van een schat (of naald in een hooiberg), waardoor ik in de rest van de puzzels meegezogen werdquote:Verder is een Slitherlink een leuk puzzeltje om te doen. Veel leuker dan het overtypen van het probleem in de computer
Voor mij is dit dus een blijvertje!
Ik heb hier heel lang over nagedacht en één en ander uitgezocht, maar voor zover ik het kan zien is wat je hier zegt onjuist.quote:
"Als A, dan B", in de notatie van de propositielogica "A → B", is hetzelfde als ¬A ∨ B. Als een dubbelspion een dergelijke uitspraak doet, moet zowel ¬A als B onwaar zijn om de gehele uitspraak een leugen te laten zijn. Dat betekent dat A wel waar is en B niet.
Nu kom je Mr X tegen, die zegt: "Als ik spion ben, heet mijn dochter Truus." Als Mr X een dubbelagent is, moet "ik ven spion" waar zijn en "mijn dochter heet Truus" niet. Dat is een tegenspraak, dus Mr X kan geen dubbelagent zijn. Hij is spion, de A in zijn "A → B" is waar en daarom moet B ook waar zijn: zijn dochter heet Truus.
De "If...then" statement zegt alleen iets over de toestand van B wanneer A waar is. Wanneer A onwaar is, dan kan B nog steeds waar zijn.
Dat is zo in de Boolean logica evenals de Propositionele logica, voor zover ik kan zien.
Dat wordt ook wel bewezen als je "A → B" in een logig table zet (geldt ook voor "¬A ∨ B").
De bewering is namelijk alleen onwaar als A waar is, maar B onwaar.
Stel het volgende: Ik zeg: "wanneer ik SBS aanzet, heet mijn vrouw Truus" (oftewel "A → B").
Ben ik spion (spreek dus altijd de waarheid) en ik zet SBS aan (waarom zou je dat in godsnaam doen, maar dat daargelaten), dan heet mijn vrouw Truus.
Dat is dan waar.
Zet ik als spion echter RTL15 aan, dan heet ze nog steeds Truus.
Andersom is ook waar.
Wanneer ik als dubbelagent stel dat mijn vrouw Truus heet wanneer ik SBS aanzet (wat dan een leugen zou zijn), dan betekent dat niet dat ze niet Truus heet als ik SBS aanzet. Het ontkent alleen een directe relatie tussen de zender en mijn de naam vrouw.
Ook kan ze anders heten wanneer ik SBS aanzet, maar ook als ik RTL15 aanzet.
Het enige wat we met zekerheid kunnen zeggen over deze uitspraak (SBS → Truus of "A → B"), is dat mijn vrouw niet Truus heet wanneer ik spion ben (en dus altijd de waarheid spreek) en ik SBS aanzet.
In die lijn vraag ik me dus af hoe ik kan bepalen wie is wie bij de tweede set medewerkers (WR15, K2O1 en K2N3)?
Voor zover ik kan zien is bij bij geen van de drie te bepalen wie welke functie heeft.
(Wanneer WR15=A, K2O1=B en K2N3=C):
WR15: ((A && B) → !C)
K2O1: ((!A && B) → !C)
De uitspraak van WR15 is alleen onwaar wanneer alle drie spion zijn.
De uitspraak van K2O1 is alleen onwaar wanneer WR15 een spion is, terwijl hijzelf en K2N3 dubbelagent zijn.
AIVD Kerstpuzzel 2024: 1ab, 2, 3abc, 4abc, 5, 6, 7abcd, 8ab, 9, 13a, 14b, 17ab, 18ab, 24abc, 25abc, 27
Hetzelfde geldt eigenlijk voor de eerste set medewerkers.
Daarover heb ik ergens iemand zien vragen waarom R1L2 (A) en R3R3 (B) beiden spion zouden moeten zijn.
De sets daarbij zijn:
((A && B) → !C)
en
A → B
Daaruit blijkt alleen dat niet alle drie een spion kunnen zijn of dat A een dubbelagent is wanneer B een spion is (ongeacht wat C op dat moment is).
Hoe zit dit nou.
Ik ben trouwens compleet nieuw in de Propositionele logica, maar wel redelijk bekend met de Boolean logica (bij programmeren is dan ook mooi te zien dat er een duidelijk verschil is in "IF" en "IF...ELSE" statements)
Daarover heb ik ergens iemand zien vragen waarom R1L2 (A) en R3R3 (B) beiden spion zouden moeten zijn.
De sets daarbij zijn:
((A && B) → !C)
en
A → B
Daaruit blijkt alleen dat niet alle drie een spion kunnen zijn of dat A een dubbelagent is wanneer B een spion is (ongeacht wat C op dat moment is).
Hoe zit dit nou.
Ik ben trouwens compleet nieuw in de Propositionele logica, maar wel redelijk bekend met de Boolean logica (bij programmeren is dan ook mooi te zien dat er een duidelijk verschil is in "IF" en "IF...ELSE" statements)
AIVD Kerstpuzzel 2024: 1ab, 2, 3abc, 4abc, 5, 6, 7abcd, 8ab, 9, 13a, 14b, 17ab, 18ab, 24abc, 25abc, 27
Kun je me wat meer vertellen over CSP en hoe en wat te programmeren?quote:
Ik maak voor dit soort puzzels altijd mijn eigen interactieve tools en dan doe ik het met de hand maar wel met wat hulp. Ik gok dat dit precies hetzelfde werkt als werken met excel, maar ik heb geen zin om me te verdiepen in excel.
Ik zou ook wel weten hoe je een opgave als 17 heel snel kunt vinden met CSP-achtige dingen. Maar als het niet nodig is, puzzel ik liever iets meer. Maar goed ik moet wel opbiechten dat ik 20 wel via pure CSP heb opgelost, want daar had ik geen fut meer voor
[..]
Welke taal gebruik je enzovoorts...
AIVD Kerstpuzzel 2024: 1ab, 2, 3abc, 4abc, 5, 6, 7abcd, 8ab, 9, 13a, 14b, 17ab, 18ab, 24abc, 25abc, 27
Wat er in jouw voorbeeld met SBS anders is dan in mijn voorbeeld, is dat jouw "A" in "A → B" over een tv-zender gaat, en mijn A een uitspraak doet over mijzelf. Daar zit dus extra informatie in. Het al dan niet waar zijn van A zegt iets over de aard van de spreker, en daarmee over de waarheid van de uitspraak als geheel.quote:
[..]
Ik heb hier heel lang over nagedacht en één en ander uitgezocht, maar voor zover ik het kan zien is wat je hier zegt onjuist.
De "If...then" statement zegt alleen iets over de toestand van B wanneer A waar is. Wanneer A onwaar is, dan kan B nog steeds waar zijn.
Dat is zo in de Boolean logica evenals de Propositionele logica, voor zover ik kan zien.
Dat wordt ook wel bewezen als je "A → B" in een logig table zet (geldt ook voor "¬A ∨ B").
De bewering is namelijk alleen onwaar als A waar is, maar B onwaar.
Stel het volgende: Ik zeg: "wanneer ik SBS aanzet, heet mijn vrouw Truus" (oftewel "A → B").
Ben ik spion (spreek dus altijd de waarheid) en ik zet SBS aan (waarom zou je dat in godsnaam doen, maar dat daargelaten), dan heet mijn vrouw Truus.
Dat is dan waar.
Zet ik als spion echter RTL15 aan, dan heet ze nog steeds Truus.
Andersom is ook waar.
Wanneer ik als dubbelagent stel dat mijn vrouw Truus heet wanneer ik SBS aanzet (wat dan een leugen zou zijn), dan betekent dat niet dat ze niet Truus heet als ik SBS aanzet. Het ontkent alleen een directe relatie tussen de zender en mijn de naam vrouw.
Ook kan ze anders heten wanneer ik SBS aanzet, maar ook als ik RTL15 aanzet.
Het enige wat we met zekerheid kunnen zeggen over deze uitspraak (SBS → Truus of "A → B"), is dat mijn vrouw niet Truus heet wanneer ik spion ben (en dus altijd de waarheid spreek) en ik SBS aanzet.
In die lijn vraag ik me dus af hoe ik kan bepalen wie is wie bij de tweede set medewerkers (WR15, K2O1 en K2N3)?
Voor zover ik kan zien is bij bij geen van de drie te bepalen wie welke functie heeft.
(Wanneer WR15=A, K2O1=B en K2N3=C):
WR15: ((A && B) → !C)
K2O1: ((!A && B) → !C)
De uitspraak van WR15 is alleen onwaar wanneer alle drie spion zijn.
De uitspraak van K2O1 is alleen onwaar wanneer WR15 een spion is, terwijl hijzelf en K2N3 dubbelagent zijn.
Mr X zegt: "A → B". Dat is hetzelfde als "¬A ∨ B". (Die A en B zullen we straks nader specificeren.)
Neem eerst aan dat Mr X dubbelagent is en dus liegt. Dan moet "¬A ∨ B" onwaar zijn: "¬(¬A ∨ B)" is dus waar. Dit is hetzelfde als "A ∧ ¬B": A en ¬B zijn beide waar. Nu de betekenis van A invullen: "Ik ben spion." Maar we hadden aangenomen dat Mr X dubbelagent is, dus dat betekent dat A onwaar is. Uit deze tegenspraak volgt dat de aanname onjuist was.
Mr X moet dus spion zijn. Maar dat betekent dat hij de waarheid spreekt, en dat de uitspraak "¬A ∨ B" waar is. Omdat A waar is en ¬A dus onwaar, is de enige manier om "¬A ∨ B" waar laten zijn, dat B ook waar is.
Bekijk dit op dezelde manier.quote:
Hetzelfde geldt eigenlijk voor de eerste set medewerkers.
Daarover heb ik ergens iemand zien vragen waarom R1L2 (A) en R3R3 (B) beiden spion zouden moeten zijn.
De sets daarbij zijn:
((A && B) → !C)
en
A → B
Daaruit blijkt alleen dat niet alle drie een spion kunnen zijn of dat A een dubbelagent is wanneer B een spion is (ongeacht wat C op dat moment is).
Hoe zit dit nou.
Ik ben trouwens compleet nieuw in de Propositionele logica, maar wel redelijk bekend met de Boolean logica (bij programmeren is dan ook mooi te zien dat er een duidelijk verschil is in "IF" en "IF...ELSE" statements)
Stel: R1L2 is dubbelagent. Dan is zijn "A → B" onwaar. Dat kan alleen als A waar is. Als A waar is, zijn R1L2 en R3R3 beiden spion. Tegenspraak, dus aanname onjuist. R1L2 moet dus spion zijn. Dat is precies wat R3R3 beweert, dus die spreekt de waarheid en is blijkbaar ook spion. Daarmee is de A van R1L2 waar, en moet ook zijn B waar zijn (want de uitspraak als geheel is waar, de spreker is immers spion). Dus WK24 is dubbelagent.
Ik ben nu aan het napuzzelen op vraag 17 zonder programmeren, en kan me inderdaad goed voorstellen dat een interactieve zelfgebouwde tool kan helpen bij het sneller oplossen. Bijvoorbeeld iets wat alle opties in een cel laat zien, en vervolgens direct de implicaties van je keuzes zichtbaar maakt.quote:
Ik maak voor dit soort puzzels altijd mijn eigen interactieve tools en dan doe ik het met de hand maar wel met wat hulp. Ik gok dat dit precies hetzelfde werkt als werken met excel, maar ik heb geen zin om me te verdiepen in excel.
| Forum Opties | |
|---|---|
| Forumhop: | |
| Hop naar: | |