Als «reference-request» getaggte Fragen

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

2
Wie ist der aktuelle Status von parallelen oder gleichzeitigen Programmen im Curry-Howard-Isomorphismus?
In Girards Beweisen und Typen können wir lesen: Aus algorithmischer Sicht weist der sequentielle Kalkül keinen Curry-Howard-Isomorphismus auf, da es eine Vielzahl von Möglichkeiten gibt, denselben Beweis zu schreiben. Dies hindert uns daran, es als typisierten Kalkül zu verwenden, obwohl wir eine tiefe Struktur dieser Art sehen, die wahrscheinlich mit …
1
Einzigartige Triangulations-Duale einfacher Polygone
Bei einer Triangulation (ohne Steiner-Punkte) eines einfachen Polygons kann man das Dual dieser Triangulation betrachten, das wie folgt definiert ist. Wir erstellen einen Scheitelpunkt für jedes Dreieck in unserer Triangulation und verbinden zwei Scheitelpunkte, wenn sich die entsprechenden Dreiecke eine Kante teilen. Es ist bekannt, dass der duale Graph ein …
4
Warum heißt binäre Suche binäre Suche?
Ich habe mehrere mögliche Erklärungen gehört, daher hätte ich gerne eine vertrauenswürdige Referenz. Update 05.19: Ich bin an der Frage interessiert, weil einer meiner Studenten in seiner Diplomarbeit geschrieben hat, dass der Name aus der folgenden Erklärung stammt (1). Bis jetzt habe ich gedacht / gehört, dass es aus der …
3
Äquivalenz von Datenflussanalyse, abstrakter Interpretation und Typinferenz?
Die Antwort von @ Babou auf eine kürzlich gestellte Frage erinnert mich daran, dass ich einmal einen Artikel über die Äquivalenz (sowohl hinsichtlich der Fakten, die abgeleitet oder bewiesen werden können, als auch hinsichtlich der zeitlichen Komplexität der Ausführung des Inferenzalgorithmus) der Datenflussanalyse gelesen habe , abstrakte Interpretation und Typinferenz …
1
Welche Algorithmen gibt es zur Lösung von linearen Systemen mit natürlichen Zahlen?
Ich betrachte das folgende Problem: Gegeben -dimensionalen Vektoren des natürlichen Zahlen und einiger Eingangsvektor ist eine lineare Kombination der ‚s mit natürlicher Zahl Koeffizienten?nnnv1,…,vmv1,…,vmv_1, \ldots, v_muuuuuuviviv_i dh gibt es einige wobei ?t1,…,tm∈Nt1,…,tm∈Nt_1, \ldots, t_m \in \mathbb{N}u=t1v1+⋯+tmvmu=t1v1+⋯+tmvmu = t_1 v_1 + \dots + t_m v_m Offensichtlich kann die reelle Zahlenversion dieses …
1
Wahrscheinlichkeitsverteilungen und Rechenkomplexität
Diese Frage betrifft die Schnittstelle von Wahrscheinlichkeitstheorie und Rechenkomplexität. Eine wichtige Beobachtung ist, dass einige Verteilungen einfacher zu generieren sind als andere. Zum Beispiel das Problem Geben Sie bei einer gegebenen Zahl eine gleichmäßig verteilte Zahl i mit 0 ≤ i < n zurücknnnichichi0 ≤ i < n0≤ich<n0 \leq i …
1
Unterschied zwischen den Sprachen, die von zwei DFAs mit unterschiedlichen Ausgangszuständen / Akzeptanzzuständen akzeptiert werden?
Kürzlich habe ich eine Frage zu Math SE gestellt. Noch keine Antwort. Diese Frage bezieht sich auf diese Frage, aber mehr technische Details zur Informatik. Gegeben sind zwei DFAs A=(Q,Σ,δ,q1,F1)A=(Q,Σ,δ,q1,F1)A = (Q, \Sigma, \delta, q_1, F_1) und B=(Q,Σ,δ,q2,F2)B=(Q,Σ,δ,q2,F2)B = (Q, \Sigma, \delta, q_2, F_2) wobei die Menge der Zustände, das …
2
Einführung in die Logikverifikation erster Ordnung
Ich versuche mir verschiedene Ansätze zur Softwareüberprüfung beizubringen. Ich habe einige Artikel gelesen. Soweit ich gelernt habe, verwendet die Aussagenlogik mit Zeit im Allgemeinen die Modellprüfung mit SAT-Lösern (in laufenden - reaktiven Systemen), aber was ist mit der Logik erster Ordnung mit Zeit? Verwendet es Theorembeweiser? Oder kann es auch …
2
Was ist strukturelle Komplexitätstheorie?
Ich bin neu in der Komplexitätstheorie und möchte wissen, was strukturelle Komplexitätstheorie ist. Welche Probleme versuchen Theoretiker auf diesem Gebiet zu lösen und wie sieht ihre Zukunft aus? Aus der Wikipedia: Die Theorie der strukturellen Komplexität oder einfach die strukturelle Komplexität ist das Studium von Komplexitätsklassen und nicht die rechnerische …
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.