Theoretische Informatik

Fragen und Antworten für theoretische Informatiker und Forscher in verwandten Bereichen

2
Welche persistente Datenstruktur für eine Menge von teilweise geordneten Elementen?
Ich muss Sätze von Elementen vom Typ a speichern. Typ a ist teilweise geordnet, sodass der Vergleich von und kleiner, größer, gleich oder unvergleichbar sein kann.a 2ein1ein1a_1ein2ein2a_2 Ein Problem mit Hashtabellen besteht darin, dass zwei gleiche Elemente unterschiedlich dargestellt werden können und ich keinen Zugriff auf eine mit Gleichheit konsistente …
1
Aufrechterhaltung der Reihenfolge in einer Liste in
Das Auftragspflegeproblem (oder "Auftrag in einer Liste pflegen") besteht darin, die folgenden Vorgänge zu unterstützen: singleton: Erstellt eine Liste mit einem Element und gibt einen Zeiger darauf zurück insertAfter: einen Zeiger auf ein Element gegeben, fügt ein neues Element danach ein und gibt einen Zeiger auf das neue Element zurück …
2
Prooftheorie von Bioprodukten?
Eine Kategorie hat Nebenprodukte, wenn dieselben Objekte sowohl Produkte als auch Nebenprodukte sind. Hat jemand die Proof-Theorie von Kategorien mit Bioprodukten untersucht? Das vielleicht bekannteste Beispiel ist die Kategorie der Vektorräume, in der die direkte Summe und die direkte Produktkonstruktion den gleichen Vektorraum ergeben. Das heißt, Vektorräume und lineare Abbildungen …
3
Quellen für algorithmische evolutionäre Spieltheorie
Ich benutze den Titelbegriff sehr locker. Die evolutionäre Spieltheorie, einschließlich ihrer mathematischen Grundlagen, ist in erheblichem Umfang erforscht. Mir wurde "Evolutionary Games and Population Dynamics" empfohlen, aber ich habe mich noch nicht damit befasst. Es gibt auch viel Arbeit zur algorithmischen Spieltheorie, was ein beliebtes Thema auf dieser Seite ist. …
1
Universelle Funktionsapproximation
Über den universellen Approximationssatz ist bekannt, dass ein neuronales Netzwerk mit nur einer einzigen verborgenen Schicht und einer willkürlichen Aktivierungsfunktion jede kontinuierliche Funktion approximieren kann. Welche anderen Modelle gibt es, die auch universelle Funktionsapproximatoren sind
2
Hat jemand die polymorphe Defunktionalisierung von Pottier und Gauthier in einem modularen Compiler verwendet?
Die Defunktionalisierung ist eine Programmtransformation, die Programme höherer Ordnung in Programme erster Ordnung umwandelt. Die Idee ist, dass es bei einem gegebenen Programm nur endlich viele Lambda-Abstraktionen gibt, sodass Sie jedes Lambda durch eine ID und jede Funktionsanwendung durch einen Aufruf einer Apply-Prozedur ersetzen können, die auf diese ID verzweigt. …
2
Expliziter mu-rekursiver Ausdruck für die Ackerman-Funktion
Können Sie bitte erläutern, wie Sie die Ackerman-Funktion (eigentlich interessiert mich eine von Rózsa Péter und Raphael Robinson vorgeschlagene Version) über standardmäßige mu-rekursive Operatoren erstellen können? Ich habe Originalarbeiten von Péter und Robinson ausprobiert, aber Péters Arbeit verwendet eine andere Sprache als Englisch und Robinsons Arbeiten „Rekursion und doppelte Rekursion“ …
1
Modulare Zerlegung und Clique-Breite
Ich versuche einige Konzepte über modulare Zerlegung und Clique-Width- Graphen zu verstehen . In diesem Artikel ("On P4-tidy graphs") wird gezeigt, wie Optimierungsprobleme wie Clique-Number oder Chromatic-Number mit Modular Decomposition gelöst werden können. Das Lösen dieser Probleme durch Zusammensetzen (unter Verwendung einer disjunkten Summe oder einer disjunkten Vereinigung) zweier Graphen …
1
Zusammenstellung von sich paarweise überschneidenden Familien
Eine Schlagmenge einer Familie S={S1,…,Sn}S={S1,…,Sn}\mathcal{S} = \{S_1, \dots, S_n\} ist eine Teilmenge HHH von ⋃ni=1Si⋃i=1nSi\bigcup_{i=1}^{n} S_i so dass H∩Si≠∅H∩Si≠∅H \cap S_i \ne \emptyset für 1≤i≤n1≤i≤n1 \le i \le n . Das Problem, eine minimale Treffermenge einer gegebenen Familie zu finden, ist im Allgemeinen NP-schwer, da es das Vertex-Cover-Problem verallgemeinert. Jetzt …
1
Suchen Sie Papiere und Artikel über die Tarskian Möglichkeit
Einige Hintergrundinformationen: Łukasiewicz-Logiken mit vielen Werten waren als modale Logiken gedacht, und Łukasiewicz gab eine erweiterte Definition des modalen Operators an: ◊A=def¬A→A◊A=def¬A→A\Diamond A =_{def} \neg A \to A (den er Tarski zuschreibt). Daraus ergibt sich eine seltsame Modallogik, mit etwas paradox, wenn nicht scheinbar absurde Sätze, insbesondere . Ersetzen Sie …
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.