Als «reference-request» getaggte Fragen

Eine Referenzanforderung wird verwendet, wenn der Autor über Arbeiten im Zusammenhang mit der Frage Bescheid wissen muss.

2
Minimierung der Größe des regulären Ausdrucks für endliche Mengen
Es ist bekannt, dass die Minimierung der Größe eines regulären Ausdrucks PSPACE-vollständig ist, auch wenn wir einen DFA als Sprachspezifikation haben . Was sind die Ergebnisse, wenn die Sprache endlich ist? Man kann dieses Problem in zwei Modellen betrachten: Die Eingabe besteht aus allen Zeichenfolgen in der Sprache, und wir …
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
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 …
1
Fixpunktsätze für konstruktive metrische Räume?
Banachs Fixpunktsatz besagt, dass, wenn wir einen nicht leeren vollständigen metrischen Raum AEINA , jede gleichmäßig kontrahierende Funktion f:A→Af:EIN→EINf : A \to A einen eindeutigen Fixpunkt μ(f)μ(f)\mu(f) . Der Beweis dieses Theorems erfordert jedoch das Axiom der Wahl - wir müssen ein beliebiges Element wählen a∈Aein∈EINa \in A, um mit …
3
Theorien, die Klassen rechnerischer Komplexität charakterisieren
Beim Lesen der Abhandlung " Eine anwendungsbezogene Theorie für FPH " können Sie folgende Passage finden: In Anbetracht der Theorien, die Klassen von Rechenkomplexität charakterisieren, gibt es drei verschiedene Ansätze: in einem Fall sind die Funktionen, die innerhalb der Theorie definiert werden können, innerhalb einer bestimmten Komplexitätsklasse "automatisch". In einem …
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.