Als «reference-request» getaggte Fragen

Betrachten Sie das folgende Problem: Sei eine Konstante. Wir erhalten ein -ary-Array von und . Sei .kkkkkkAd1×…×dkAd1×…×dkA_{d_1\times\ldots\times d_k}000111N=∏ki=1diN=∏i=1kdiN = \prod_{i=1}^k d_i Wir möchten eine Datenstruktur erstellen, indem wir vorverarbeiten , um die folgenden Arten von Abfrageoperationen auszuführen:AAA Gibt es angesichts der Koordinaten einer -ary-Box eine in der Box? kkkDDD111 Geben …

8 reference-request  data-structures  space-complexity 

Ich bin besonders an Lösungen für das Problem interessiert, dass die gekapselte Suche von der Reihenfolge der Bewertung abhängen kann. Laut [1] hängt die gekapselte Suche in PAKCS von der Reihenfolge der Auswertung ab, während dies in MCC nicht der Fall ist. Die Verwendung erfordert jedoch Kenntnisse über die Compiler-Implementierung …

8 reference-request  functional-programming  nondeterminism  logic-programming 

Ich suche einen Referenztext zur angewandten Graphentheorie und zu Graphalgorithmen. Gibt es einen Standardtext, der in den meisten Informatikprogrammen verwendet wird? Wenn nicht, was sind die angesehensten Texte auf diesem Gebiet? Ich habe Cormen et al.

8 algorithms  graph-theory  reference-request  education  books 

Turingmaschinen haben eine formale Symbolalphabet-, Zustands- und Übergangsregel-basierte Beschreibung, wie eine Berechnung durchgeführt wird. Das Akteurmodell wird manchmal als leistungsfähigeres Rechenmodell als Turing-Maschinen erwähnt (nicht in dem, was es berechnen kann, sondern in anderen Aspekten). Ist das Actor Model eine vollwertige Drehmaschinenalternative als Rechenmodell? Verfügt das Akteurmodell auch über eine …

8 terminology  computability  reference-request  programming-languages  computation-models 

Ich habe ein logistisches Problem, das als eine Variante von TSPTSP\text{TSP} . Es ist so natürlich, ich bin sicher, es wurde in der Operations-Forschung oder ähnlichem untersucht. Hier ist eine Sichtweise auf das Problem. Ich habe Lagerhäuser im kartesischen Flugzeug. Es gibt einen Pfad von einem Lager zu jedem anderen …

8 algorithms  optimization  reference-request  approximation 

In einem Diagramm ist eine kantendominierende Menge eine Teilmenge D der Kanten, sodass sich jede Kante im Diagramm entweder in D befindet oder einen Endpunkt mit einer Kante in D teilt. Das Problem der minimalen kantendominierenden Menge besteht darin, eine kantendominierende Menge zu finden der minimalen Kardinalität. Die Entscheidungsversion dieses …

8 complexity-theory  reference-request  np-complete  reductions 

Bei abhängigen Typen wird die Miller-Mustervereinigung verwendet, um ein entscheidbares Fragment einer Vereinigung höherer Ordnung zu lösen. Dadurch können abhängig typisierte Sprachen Metavariablen oder implizite Argumente enthalten. Es gibt viele Artikel, die beschreiben, wie man angesichts eines Vereinigungsproblems im Musterfragment eine Lösung findet, wenn es eine gibt. Beispiele sind (Gundry-McBride) …

8 reference-request  lambda-calculus  type-theory  dependent-types  unification 

An verschiedenen Stellen ( http://www.ams.org/journals/mcom/2004-73-246/S0025-5718-03-01539-4/S0025-5718-03-01539-4.pdf und https: //books.google.com/books?id=qYYKBwAAQBAJ&pg=PA21&lpg=PA21&dq=np-hard+completing+hadamard+matrix&source=bl&ots=8sKv9bAtc8&sig=ITZSmtD2p2xr6Q4RDqhbQQk0NDI&hl=en&sa=X&ved=2ahUKEwiotuLdvfzdAhWBKHwKHUF9AO0Q6AEwB3oECAMQAQ#v=onepage&q=np-hard%20completing% 20hadamard% 20matrix & f = false , um zwei zu ergeben) Es wird behauptet, dass die Bestimmung der "Äquivalenz" von zwei Hadamard-Matrizen (im Sinne des Zulassens von Vorzeichenflips und Permutationen in Zeilen und Spalten) NP-hart ist. Keine Quelle, die ich für diese …

7 np-complete  reference-request  graph-isomorphism 

Wir wissen, dass sich das Halteproblem in der ersten Ebene der arithmetischen Hierarchie befindet. Wir wissen, dass sich das Totalitätsproblem in der 2. Ebene der arithmetischen Hierarchie befindet. Was sind einige Beispiele für Probleme in der 3. (oder höheren) Ebene der arithmetischen Hierarchie? +1 für Probleme, deren Instanzen in der …

7 computability  reference-request 

Moderne Artikel zu Suchindizes enthalten häufig die Aussage, dass invertierte Indizes (Posting-Listen) Signaturdateien (Bloom-Filter) kategorisch überlegen sind. Hier einige Beispiele aus 2016 veröffentlichten Artikeln: Während diese [Signaturdatei] -Technik einen relativ geringen Rechenaufwand bietet, haben Studien von Zobel et al. [1998] haben gezeigt, dass invertierte Dateien Signaturdateien deutlich übertreffen. Invertierte Indizes …

7 reference-request  information-retrieval  search 

Es ist klar, dass Mathematica den Baillie-PSW-Test für seine PrimeQ-Funktion verwendet (die die Primalität testet), und wie ich in der Mathematica-Dokumentation gelesen habe , beginnt er mit der Testteilung, dann mit dem Miller-Rabin-Test der Basis 2 und 3 und dann mit dem Lucas-Pseudoprime-Test. Meine Frage ist: Können wir Basis 2 …

7 reference-request  number-theory  primes 

Für mein Science-Fair-Projekt habe ich eine Optimierung der Sortierroutine von Python implementiert . Die Idee ist, die Sicherheitsüberprüfungen, die bei jedem Vergleich durchgeführt werden müssen, z. B. Typprüfungen und Zeichenbreitenprüfungen, außerhalb der Sortierschleife zu verschieben und sie alle in einem Durchgang durchzuführen. Basierend auf den Ergebnissen der Prüfungen wird dann …

7 reference-request  type-checking  program-optimization  interpreters 

Ich habe über ein Problem nachgedacht, das durch das Treffen mit einem Fremdsprachenprofessor für Anfänger am Goethe-Institut inspiriert wurde, der die fünf häufigsten Sprachen gelernt hat, die von Studenten gesprochen werden, um mit so vielen Studenten wie möglich zu kommunizieren. Stellen Sie sich eine begrenzte Anzahl von Menschen vor, von …

7 terminology  reference-request  optimization  combinatorics  sets 

Hat es jemand geschafft, ein Typsystem zu implementieren oder zu entwerfen, das sowohl Typstatus (lineare Typen) als auch Effekttypen (z. B. Koka ) kombiniert ?

7 reference-request  type-theory 

Meine Bäume sind verwurzelt und haben höchstens zwei Kinder an jedem Scheitelpunkt. Ich benötige Referenzen, die mir bei der Lösung einiger oder aller der folgenden Fragen helfen: Wie viele Isomorphismusklassen von Bäumen mit n Eckpunkten gibt es? Was sind die klassischen Algorithmen, um zu entscheiden, ob zwei gegebene Bäume isomorph …

7 algorithms  graph-theory  reference-request  combinatorics  trees