Als «reference-request» getaggte Fragen

Fragen, die Artikel in der Literatur zu bestimmten, engen Themen anfordern.

1
Welche Klassen von Datenstrukturen können persistent gemacht werden?
Persistente Datenstrukturen sind unveränderliche Datenstrukturen. Operationen auf ihnen geben eine neue "Kopie" der Datenstruktur zurück, die jedoch durch die Operation geändert wurde. Die alte Datenstruktur bleibt jedoch unverändert. Effizienz wird im Allgemeinen dadurch erreicht, dass einige der zugrunde liegenden Daten gemeinsam genutzt werden und ein vollständiges Kopieren der Datenstruktur vermieden …
2
Algorithmen zur Typprüfung
Ich beginne eine persönliche bibliografische Recherche über Algorithmen zur Typprüfung und möchte einige Tipps. Was sind die am häufigsten verwendeten Algorithmen, Strategien und allgemeinen Techniken zur Typprüfung? Ich interessiere mich besonders für komplexe Algorithmen zur Typprüfung, die in weithin bekannten stark statisch typisierten Sprachen wie beispielsweise C ++, Java 5+, …
3
Wie lese ich Tippregeln?
Ich fing an, immer mehr sprachwissenschaftliche Artikel zu lesen. Ich finde es sehr interessant und eine gute Möglichkeit, mehr über das Programmieren im Allgemeinen zu lernen. Es gibt jedoch normalerweise einen Abschnitt, mit dem ich immer zu kämpfen habe (nehmen Sie zum Beispiel Teil drei davon ), da mir der …
1
Nachweis der (In-) Traktabilität dieser N-ten Hauptrezidivfolge
Wie aus meiner vorherigen Frage hervorgeht , habe ich mit der Riemannschen Hypothese als Frage der Freizeitmathematik gespielt. Dabei bin ich zu einer interessanten Wiederholung gekommen und bin gespannt auf seinen Namen, seine Verringerungen und seine Fähigkeit, die Lücke zwischen Primzahlen zu schließen. Um genau zu sein, wir können die …
3
Gibt es ein TM, das bei allen Eingaben angehalten wird, dessen Eigenschaft jedoch nicht nachweisbar ist?
Gibt es eine Turing-Maschine, die bei allen Eingaben anhält, aber diese Eigenschaft ist aus irgendeinem Grund nicht nachweisbar? Ich frage mich, ob diese Frage untersucht wurde. Beachten Sie, dass "unbeweisbar" ein "eingeschränktes" Beweissystem bedeuten kann (das im schwachen Sinne der Meinung ist, dass die Antwort ja sein muss). Ich interessiere …
1
Polytime- und Polyspace-Algorithmus zur Bestimmung des führenden Schnittpunkts von n diskreten monotonen Funktionen
Einige wichtige Aspekte: Ich bin ein Freizeitinformatiker und ein angestellter Software-Ingenieur. Also, entschuldigen Sie, wenn diese Aufforderung etwas außerhalb des linken Feldes zu liegen scheint - ich spiele routinemäßig mit mathematischen Simulationen und offenen Problemen, wenn ich nichts Besseres zu tun habe. Während ich mit der Riemann-Hypothese spielte , stellte …
3
Rezeptbuch für SAT-Kodierungen?
SAT-Löser lösen immer effizienter große Instanzen und werden in verschiedenen Zusammenhängen als Back-End eingesetzt. Jedes Mal, wenn jemand sie zur Lösung eines Problems in einem bestimmten Bereich verwenden möchte, muss er / sie eine Ad-hoc-Codierung entwickeln, die nicht nur die richtigen Lösungen bietet, sondern auch die Einschränkungen (auch überflüssig) in …
2
Entscheidungsprobleme in
Was sind einige Beispiele für schwierige Entscheidungsprobleme, die in der Polynomzeit gelöst werden können? Ich suche nach Problemen, bei denen der optimale Algorithmus "langsam" ist oder bei denen der schnellste bekannte Algorithmus "langsam" ist. Hier sind zwei Beispiele: Erkennen perfekter Grafiken. In ihrer FOCS'03-Arbeit [1] Cornuéjols gaben Liu und Vuskovic …
Durch die Nutzung unserer Website bestätigen Sie, dass Sie unsere Cookie-Richtlinie und Datenschutzrichtlinie gelesen und verstanden haben.
Licensed under cc by-sa 3.0 with attribution required.