Name: Verdix - Logic Cases With One Answer
Author: ThijsGer

A logic grid puzzle is worth solving only when two things are true of it: exactly one
answer fits the clues, and every clue is needed to get there. A puzzle book runs out
after sixty of them. Generated ones rarely run out, and rarely hold up either: half the
sheet turns out to be clues that were already implied by the clues above them.

Verdix picks the hidden truth first, four suspects paired to four weapons and four
rooms, and then builds the case backwards from it. Candidate clues, all of them true of
that truth, are handed to a solver one at a time until the solver can pin every cell
without guessing. Then the list is walked back through and every clue the solver turns
out not to need is thrown out. What that leaves is a case proved to have exactly one
answer, proved reachable by deduction alone, and stripped of anything decorative: take
away any single clue and it stops being solvable.

WHAT IT DOES
- Every case proved to have one answer and pruned to a minimal set of clues
- Sixteen classes of clue, from a plain denial through either-or, neither-nor, room
  order and adjacency, weapon weight, exactly-one-of and if-then
- Three tick-and-cross grids, paged by a tab strip rather than a swipe, because a swipe
  and a drag are the same gesture until the moment it ends
- Aim, then tap: the first tap frames a cell wider than itself so it stays visible
  around a fingertip, the second cycles it through tick, cross and unknown
- A tick clears the rest of its row and column, which is what a pencil does a second
  later anyway; it can be switched off
- A clue page that shows one clue at a time and files each one away once it is spent
- An accusation names a suspect, a weapon and a room; three wrong calls close the case
  and the grids fill in with the answer
- A hint that names the next cell already forced, and which clue forces it
- A daily case, the same one on every watch, and free cases that never run out
- Best time daily and free, streak, best run, win rate and a difficulty reading
- Five languages, on-watch settings, nothing sent anywhere

WHAT IT NEEDS
Nothing but the watch. No phone, no signal, no account.

Verdix - Logic Cases With One Answer

Een logigram is pas de moeite waard als er twee dingen voor gelden: precies een antwoord
past bij de aanwijzingen, en elke aanwijzing is nodig om er te komen. Een puzzelboek is
na zestig stuks op. Gegenereerde raken niet op, maar houden ook zelden stand: de helft
van het vel blijkt uit aanwijzingen te bestaan die de regels erboven al gaven.

Verdix kiest eerst de verborgen waarheid, vier verdachten gekoppeld aan vier wapens en
vier kamers, en bouwt de zaak daar achterstevoren omheen. Kandidaat-aanwijzingen, die
allemaal waar zijn over die waarheid, gaan een voor een naar een solver tot die elk
vakje kan vastleggen zonder te gokken. Daarna wordt de lijst teruggelopen en gaat elke
aanwijzing eruit die de solver blijkt te kunnen missen. Wat overblijft is een zaak
waarvan bewezen is dat ze precies een antwoord heeft, dat pure deductie genoeg is, en
waar niets siers meer in zit: haal er een aanwijzing uit en ze is niet meer oplosbaar.

WAT HET DOET
- Van elke zaak is bewezen dat ze een antwoord heeft, en de aanwijzingen zijn uitgedund
- Zestien soorten aanwijzing, van een kale ontkenning tot of-of, noch-noch,
  kamervolgorde en aangrenzing, wapengewicht, precies-een-van en als-dan
- Drie vink-en-kruis-rasters, met een tabstrip in plaats van een veeg, want een veeg en
  een sleep zijn dezelfde beweging tot het moment dat je loslaat
- Richten, dan tikken: de eerste tik zet een kader om een vakje, breder dan het vakje,
  zodat je het naast je vingertop nog ziet; de tweede loopt door vink, kruis en leeg
- Een vink kruist de rest van zijn rij en kolom weg, precies wat je zelf een seconde
  later met potlood doet; uit te zetten
- Een aanwijzingenpagina die er een tegelijk toont en ze wegzet zodra je ze verbruikt
- Een beschuldiging noemt een verdachte, een wapen en een kamer; na drie missers sluit
  de zaak en vullen de rasters zich met het antwoord
- Een hint die het eerstvolgende afgedwongen vakje noemt, en welke aanwijzing het dwingt
- Een dagzaak, op elk horloge dezelfde, en vrije zaken die niet opraken
- Beste tijd dagelijks en vrij, reeks, beste reeks, winstpercentage en een moeilijkheid
- Vijf talen, instellingen op het horloge, er gaat niets naar buiten

WAT HET NODIG HEEFT
Alleen het horloge. Geen telefoon, geen bereik, geen account.

Verdix - Logigrammen met één antwoord

Ein Logikraetsel lohnt sich nur, wenn zweierlei fuer es gilt: genau eine Loesung passt
zu den Hinweisen, und jeder Hinweis wird gebraucht, um dorthin zu kommen. Ein Heft ist
nach sechzig Stueck leer. Erzeugte gehen nicht aus, halten aber selten stand: die
halbe Seite besteht aus Hinweisen, die die Zeilen darueber schon hergegeben haben.

Verdix waehlt zuerst die verborgene Wahrheit, vier Verdaechtige zu vier Waffen und vier
Raeumen, und baut den Fall rueckwaerts darum herum. Kandidatenhinweise, die alle auf
diese Wahrheit zutreffen, gehen einzeln an einen Loeser, bis dieser jede Zelle ohne
Raten festlegen kann. Danach wird die Liste rueckwaerts durchgegangen und jeder Hinweis
gestrichen, auf den der Loeser verzichten kann. Uebrig bleibt ein Fall, von dem bewiesen
ist, dass er genau eine Loesung hat und dass reines Schliessen hinreicht, ohne jede
Zierde: nimm einen einzigen Hinweis weg, und er ist nicht mehr loesbar.

WAS ES KANN
- Von jedem Fall ist bewiesen, dass er eine Loesung hat; die Hinweise sind ausgeduennt
- Sechzehn Hinweisklassen, von der schlichten Verneinung ueber entweder-oder und
  weder-noch bis Raumreihenfolge, Nachbarschaft, Waffengewicht und wenn-dann
- Drei Haken-und-Kreuz-Gitter, mit Reiterleiste statt Wischen, denn Wischen und Ziehen
  sind dieselbe Geste, bis sie endet
- Zielen, dann tippen: das erste Tippen setzt einen Rahmen um eine Zelle, breiter als
  die Zelle; das zweite geht durch Haken, Kreuz und leer
- Ein Haken streicht den Rest seiner Zeile und Spalte, was man eine Sekunde spaeter
  ohnehin mit dem Bleistift tut; abschaltbar
- Eine Hinweisseite, die einen nach dem anderen zeigt und jeden ablegt, sobald er dient
- Eine Anklage nennt Verdaechtigen, Waffe und Raum; nach drei Fehlgriffen ist der Fall
  zu und die Gitter fuellen sich mit der Loesung
- Ein Tipp, der die naechste erzwungene Zelle nennt und den Hinweis, der sie erzwingt
- Ein Tagesfall, auf jeder Uhr derselbe, und freie Faelle, die nie ausgehen
- Bestzeit taeglich und frei, Serie, beste Serie, Trefferquote, Schwierigkeitswert
- Fuenf Sprachen, Einstellungen auf der Uhr, nichts verlaesst das Geraet

WAS ES BRAUCHT
Nur die Uhr. Kein Telefon, kein Empfang, kein Konto.

Verdix - Logikfaelle mit einer Loesung

Une grille de logique ne vaut la peine que si deux choses sont vraies d'elle: une seule
reponse colle aux indices, et chaque indice sert a y arriver. Un recueil est vide au
bout de soixante. Les grilles engendrees, elles, ne s'epuisent pas et ne tiennent pas
non plus: la moitie de la feuille tient dans les lignes du dessus.

Verdix choisit d'abord la verite cachee, quatre suspects apparies a quatre armes et
quatre pieces, puis construit l'enquete a l'envers autour d'elle. Des indices candidats,
tous vrais de cette verite, passent un a un au solveur jusqu'a ce qu'il fixe chaque
case sans deviner. La liste est ensuite reparcourue et tout indice dont le solveur peut
se passer est retire. Il reste une enquete dont il est prouve qu'elle a une seule
reponse, prouve qu'on l'atteint par pur raisonnement, et depouillee de tout ornement:
enleve un seul indice et elle cesse d'etre soluble.

CE QU'IL FAIT
- Chaque enquete est prouvee a reponse unique et ses indices sont reduits au minimum
- Seize classes d'indice, de la simple negation au ou-bien, ni-ni, ordre des pieces et
  voisinage, poids des armes, exactement-l-un et si-alors
- Trois grilles a cocher et a barrer, changees par une barre d'onglets et non par un
  balayage: un balayage et un glissement sont le meme geste jusqu'a la fin
- Viser, puis taper: le premier tap pose un cadre plus large que la case, pour rester
  visible autour du doigt; le second passe par coche, croix et inconnu
- Une coche barre le reste de sa ligne et de sa colonne, ce qu'on fait au crayon une
  seconde plus tard; desactivable
- Une page d'indices qui les montre un par un et range chacun une fois servi
- Une accusation nomme un suspect, une arme et une piece; trois erreurs closent
  l'enquete et les grilles se remplissent avec la reponse
- Un indice qui nomme la case deja forcee et l'indice qui la force
- Une enquete du jour, la meme sur toutes les montres, et des enquetes libres sans fin
- Meilleur temps du jour et libre, serie, meilleure serie, taux de reussite, difficulte
- Cinq langues, reglages sur la montre, rien ne sort de l'appareil

CE QU'IL FAUT
Rien que la montre. Pas de telephone, pas de reseau, pas de compte.

Verdix - Enquetes logiques a une solution

Un problema de logica merece la pena solo si se cumplen dos cosas: exactamente una
respuesta encaja con las pistas, y cada pista hace falta para llegar. Un cuaderno se
acaba a los sesenta. Los generados no se acaban, pero tampoco aguantan: media hoja
resulta ser pistas que las lineas de arriba ya daban.

Verdix elige primero la verdad oculta, cuatro sospechosos emparejados con cuatro armas
y cuatro salas, y construye el caso al reves a partir de ella. Pistas candidatas, todas
ciertas sobre esa verdad, pasan una a una al solucionador hasta que este fija cada
casilla sin adivinar. Despues se recorre la lista hacia atras y se descarta toda pista
de la que el solucionador puede prescindir. Queda un caso del que esta demostrado que
tiene una sola respuesta, que se alcanza por pura deduccion y que no lleva adorno:
quita una sola pista y deja de ser resoluble.

QUE HACE
- De cada caso se demuestra que tiene una respuesta, con las pistas al minimo
- Dieciseis clases de pista, desde la negacion simple hasta o-bien, ni-ni, orden de las
  salas y vecindad, peso del arma, exactamente-una-de y si-entonces
- Tres cuadriculas de marcas y cruces, pasadas con una barra de pestanas y no con un
  deslizamiento: deslizar y arrastrar son el mismo gesto hasta que termina
- Apuntar y luego tocar: el primer toque pone un marco mas ancho que la casilla, para
  que siga viendose junto a la yema; el segundo pasa por marca, cruz y vacio
- Una marca tacha el resto de su fila y su columna, lo que se hace a lapiz un segundo
  despues; se puede desactivar
- Una pagina de pistas que ensena una cada vez y archiva cada una al gastarla
- Una acusacion nombra sospechoso, arma y sala; tres fallos cierran el caso y las
  cuadriculas se rellenan con la respuesta
- Una pista que nombra la casilla ya forzada y la clave que la fuerza
- Un caso diario, el mismo en todos los relojes, y casos libres que no se agotan
- Mejor tiempo diario y libre, racha, mejor racha, porcentaje de aciertos y dificultad
- Cinco idiomas, ajustes en el reloj, nada sale del dispositivo

QUE NECESITA
Solo el reloj. Sin telefono, sin cobertura, sin cuenta.