Als «real-numbers» getaggte Fragen

2
Gibt es etablierte Komplexitätsklassen mit reellen Zahlen?
Ein Student hat mich kürzlich gebeten, einen NP-Härtenachweis für sie zu prüfen. Sie führten eine Reduktion nach folgenden Grundsätzen durch: Ich reduziere dieses Problem P′P′P' , von dem bekannt ist, dass es NP-vollständig ist, auf mein Problem PPP (mit einer mehrmaligen Vielfachreduktion), also ist PPP NP-hart. Meine Antwort war im …
1
Ist eine Funktion, die nach Teilsequenzen von Ziffern von
Wie kann entschieden werden, ob eine Ziffernfolge hat? ππ\pihat mich dazu inspiriert zu fragen, ob die folgende unschuldig aussehende Variante berechenbar ist: f(n)={10if n¯ occurs in the decimal representation of πotherwisef(n)={1if n¯ occurs in the decimal representation of π0otherwisef(n) = \begin{cases} 1 & \text{if \(\bar n\) occurs in the decimal …
2
Gibt es Arbeiten zur Erstellung eines Frameworks für die reelle Zahlen- / Wahrscheinlichkeitstheorie in COQ?
COQ ist ein interaktiver Theorembeweiser, der die Berechnung induktiver Konstruktionen verwendet, dh stark von induktiven Typen abhängt. Mit diesen werden diskrete Strukturen wie natürliche Zahlen, rationale Zahlen, Graphen, Grammatiken, Semantik usw. sehr präzise dargestellt. Seit ich den Proof-Assistenten immer mehr mag, habe ich mich gefragt, ob es Bibliotheken für unzählige …
2
Berechenbarkeit der Gleichheit auf Null für eine einfache Sprache
Angenommen, wir haben einen Baum, in dem Blätter mit einer Reihe von Zahlen und interne Knoten mit einer Reihe von Operationen .L.LLÖOO Insbesondere kann oder und optional und / oder . kann eine beliebige Teilmenge von .L.LLN , Z.N,Z\mathbb{N}, \mathbb{Z}Q.Q\mathbb{Q}ππ\pieeeOOO{+,−,⋅,/, ^}{+,−,⋅,/, ^}\{+,-,\cdot,/,\hat\ \} Ist Gleichheit mit Null entscheidbar? Sind Vorzeichenvergleiche …
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.