Platzsparendes Schreiben der funktionalen Notation

6
false 2020-01-21 00:41.

Das Schreiben einer funktionalen Notation ist im Hinblick auf den zusätzlichen Platzverbrauch oft recht kostspielig. Dies ist besonders wichtig für das kanonische Schreiben von Listen.

Betrachten Sie zunächst die Größe der Ausgabe: Während das übliche ignore_ops(false)Schreiben mindestens 2n + 1 Zeichen für eine Liste mit der Länge n wie in [1,2,3]erfordert, erfordert das kanonische Schreiben mindestens 7n + 2 wie in '.'(1,'.'(2,'.'(3,[]))). (Hinzugefügt :) Es gibt keine Möglichkeit, die Ausgabe zu ändern, da sie so definiert ist. Es gibt jedoch genügend Raum für Verbesserungen beim Schreiben:

Betrachten Sie nun den zusätzlichen Speicherplatz, der zum Schreiben der Ausgabe erforderlich ist: Für das Schreiben von Listen mit eckigen Klammern ist kein zusätzlicher Speicherplatz erforderlich, der proportional zur Länge der Liste ist. Eine naive kanonische Schrift benötigt Platz proportional zur Länge der Liste, um den Stapel von Einrückungen darzustellen.

Wie schreibe ich eine Liste kanonisch ohne diesen Aufwand?


Hier ist ein einfacher Test, um zu überprüfen, was in Ihrem System passiert.

Reduzieren Sie zunächst die maximale Größe des virtuellen Speichers, um Ihre Wartezeit zu verkürzen. Bei mir funktionieren etwa 180 MB.

$ ulimit -v -180000

Mit

nat_sx(N0, s(X)) :-
   N0 > 0,
   N1 is N0-1, nat_sx(N1,X).
nat_sx(0, 0).

?- open('/dev/null',write,Null),
   length(_,I), N is 10^I, nat_sx(N,SX),
   ( Res=unwritten ; write_canonical(Null,SX) ).

SICStus und SWI brechen jetzt innerhalb ab write_canonical(Null, SX). Es wäre zu erwarten, dass sie irgendwann abbrechen nat_sx/2. Ein direkter Vergleich für Listen ist nicht möglich, da SWIs write_canonical/1immer eckige Klammern verwenden.

1 answers

5
Will Ness 2020-01-21 21:20.

Behandeln Sie einfach '.'(als öffnende Klammer, ,'.'(als Komma, und erhöhen Sie die Ganzzahl der schließenden Parens, die am Ende als schließende Klammer ausgegeben werden sollen.

Also O (1) Hilfsraum.

Related questions

MORE COOL STUFF

Cate Blanchett schlief nach 3 gemeinsamen Tagen mit ihrem Ehemann und ist 25 Jahre später immer noch mit ihm verheiratet

Cate Blanchett schlief nach 3 gemeinsamen Tagen mit ihrem Ehemann und ist 25 Jahre später immer noch mit ihm verheiratet

Cate Blanchett widersetzte sich typischen Dating-Ratschlägen, als sie ihren Ehemann traf.

Warum Michael Sheen ein gemeinnütziger Schauspieler ist

Warum Michael Sheen ein gemeinnütziger Schauspieler ist

Michael Sheen ist ein gemeinnütziger Schauspieler, aber was genau bedeutet das?

Hallmark-Star Colin Egglesfield sorgt für spannende Fan-Begegnungen bei RomaDrama Live! [Exklusiv]

Hallmark-Star Colin Egglesfield sorgt für spannende Fan-Begegnungen bei RomaDrama Live! [Exklusiv]

Hallmark-Star Colin Egglesfield sprach über spannende Fan-Begegnungen bei RomaDrama Live! plus sein INSPIRE-Programm auf der Convention.

Warum Sie „Northern Exposure“ nicht online streamen können

Warum Sie „Northern Exposure“ nicht online streamen können

Sie müssen einen Blu-ray- oder DVD-Player abstauben, um zu sehen, warum Northern Exposure zu einer der beliebtesten Shows der 90er Jahre wurde.

Where in the World Are You? Take our GeoGuesser Quiz

Where in the World Are You? Take our GeoGuesser Quiz

The world is a huge place, yet some GeoGuessr players know locations in mere seconds. Are you one of GeoGuessr's gifted elite? Take our quiz to find out!

Werfen Sie diese Pappröhren nicht weg! 10 Möglichkeiten, sie wiederzuverwenden

Werfen Sie diese Pappröhren nicht weg! 10 Möglichkeiten, sie wiederzuverwenden

Werfen Sie Ihr Papierhandtuch, Toilettenpapier und Geschenkpapierrollen nicht in den Müll. Geben Sie ihnen stattdessen mit einem dieser 10 Hacks ein zweites Leben.

Schlafen Fische?

Schlafen Fische?

Es ist schwer vorstellbar, dass Nemo im Great Barrier Reef ein paar Zs fängt. Aber Fische brauchen Ruhe. Schlafen sie so wie wir?

Spenden Sie Ihr Haar, um unser Wasser sauber zu halten

Spenden Sie Ihr Haar, um unser Wasser sauber zu halten

Haarteile aus Salons und persönliche Spenden können als Matten wiederverwendet werden, die Ölverschmutzungen aufsaugen und zum Schutz der Umwelt beitragen.

Angesichts der bevorstehenden Umweltkatastrophen entscheiden sich viele für eine kinderlose Zukunft

Angesichts der bevorstehenden Umweltkatastrophen entscheiden sich viele für eine kinderlose Zukunft

Bild einer deutschen Entbindungsstation über Getty. In den letzten zehn Jahren waren die Geburtenraten in der U.

Der Leiter des Verbraucherschutzes von Präsident Trump schert sich nicht um die Untersuchung der Equifax-Verletzung

Der Leiter des Verbraucherschutzes von Präsident Trump schert sich nicht um die Untersuchung der Equifax-Verletzung

Foto: Getty In jeder normalen Gesellschaft würden die Spitzenmanager von Equifax vor den Kongress gezerrt, viele ins Gefängnis geworfen, das Unternehmen geschlossen und alle Vermögenswerte des Unternehmens beschlagnahmt. Aber wir leben nicht in einer normalen Gesellschaft, was heute noch deutlicher geworden ist.

Wir machen diesen Februar alle Liegestütze

Wir machen diesen Februar alle Liegestütze

Bild aus der Staatsbibliothek von Victoria. Bereit für das nächste Kapitel der Lifehacker Fitness Challenge? Im Januar haben wir an Klimmzügen gearbeitet, auf welcher Ebene auch immer für jeden von uns.

Kool-Aid, Steak-Umms oder Ramen-Nudeln: Nur 1 kann überleben. Welche wählen Sie aus?

Kool-Aid, Steak-Umms oder Ramen-Nudeln: Nur 1 kann überleben. Welche wählen Sie aus?

Oben: iStock; unten: Steak-umm Fleisch YouTube-Screenshot Sie sind zuverlässige Grundnahrungsmittel, obwohl sie mehr mit tatsächlichen Grundnahrungsmitteln gemeinsam haben als jede Lebensmittelgruppe. Köstliche Optionen an der Kreuzung von "Das ist höllisch lecker" und "Warten".

Tudor Dixon gewinnt Michigan GOP Primary und trifft nun auf die amtierende Demokratin Gretchen Whitmer

Tudor Dixon gewinnt Michigan GOP Primary und trifft nun auf die amtierende Demokratin Gretchen Whitmer

Tudor Dixon hat am Dienstag die Vorwahlen von Michigan zum Gouverneur gewonnen, nachdem er eine späte Bestätigung des ehemaligen Präsidenten Donald Trump erhalten hatte

Nicky Hilton Forced to Borrow Paris' 'I Love Paris' Sweatshirt After 'Airline Loses All [My] Luggage'

Nicky Hilton Forced to Borrow Paris' 'I Love Paris' Sweatshirt After 'Airline Loses All [My] Luggage'

Nicky Hilton Rothschild's luggage got lost, but luckily she has an incredible closet to shop: Sister Paris Hilton's!

Kate Middleton verbringt einen Tag am Wasser in London, plus Jennifer Lopez, Julianne Hough und mehr

Kate Middleton verbringt einen Tag am Wasser in London, plus Jennifer Lopez, Julianne Hough und mehr

Kate Middleton verbringt einen Tag am Wasser in London, plus Jennifer Lopez, Julianne Hough und mehr. Von Hollywood bis New York und überall dazwischen, sehen Sie, was Ihre Lieblingsstars vorhaben!

17-Jähriger erstochen, während 4 weitere bei einem Messerangriff am Wisconsin River verwundet wurden

17-Jähriger erstochen, während 4 weitere bei einem Messerangriff am Wisconsin River verwundet wurden

Die Ermittler prüfen, ob sich die Gruppe und der Verdächtige vor dem Angriff kannten

Start- und Landebahnen

Start- und Landebahnen

Spätsommer und Herbst sind nostalgische Jahreszeiten. Straßenlaternen werfen ihr Licht über regennasse Straßen, und die Blätter unter den Füßen – gedämpft rot-orange im Schatten der Dämmerung – erinnern an vergangene Tage.

Stellen Sie sich vor, Sie erstellen eine Inhaltsstrategie, die tatsächlich KONVERTIERT. Es ist möglich.

Stellen Sie sich vor, Sie erstellen eine Inhaltsstrategie, die tatsächlich KONVERTIERT. Es ist möglich.

Im Jahr 2021 ermutige ich Sie, alles zu überdenken, was Sie über die Kunden, die Sie bedienen, und die Geschichten, die Sie ihnen erzählen, wissen. Zurücktreten.

Ein Mammutverlust öffnete mein Herz für die Liebe

Ein Mammutverlust öffnete mein Herz für die Liebe

Am Tag des 9. Geburtstags von Felix The Cat erinnere ich mich an einen der größten Verluste meines Erwachsenenlebens – meine Sophie im Jahr 2013. Ich habe diesen Essay geschrieben und ihn kurz im Jahr 2013 auf dieser Plattform geteilt.

Wenn Sie nicht die Person sein können, die das Internet von Ihnen will

Wenn Sie nicht die Person sein können, die das Internet von Ihnen will

Ich hasse das Wort „Zugwrack“. Die Menschen trösten sich mit ihrem eigenen moralischen Kompass und treffen dabei auf ein Urteil.

Language