Domande taggate «reductions»

Nella computabilità e complessità, trovare mappature tra problemi che consentono di risolvere un problema usando una soluzione di un altro. Per la riduzione della teoria del linguaggio di programmazione (ad es. Riduzione beta), vedere [lambda-calcolo] o [riscrittura dei termini].

1
Riduzioni tra problemi indecidibili
Mi dispiace se questa domanda ha qualche banale risposta che mi manca. Ogni volta che studio qualche problema che è stato dimostrato indecidibile, osservo che la prova si basa sulla riduzione di un altro problema che si è dimostrato indecidibile. Capisco che crea una sorta di ordine sul grado di …
2
HORN-SAT è in LIN, in caso affermativo perché non è un'indicazione che P = LIN?
Lo zoo di complessità definisce come la classe di problemi decisionali risolvibili da una macchina di Turing deterministica in tempo lineare.LINLINLIN LIN⊆PLIN⊆PLIN \subseteq P Poiché HORN-SAT è risolvibile in (come indicato negli algoritmi a tempo lineare per testare la soddisfacibilità delle formule di corno proposizionali (1984) )O(n)O(n)O(n) Vengono presentati nuovi …
2
Per qualsiasi lingua
Sto cercando di fornire una prova per quanto segue: Per qualsiasi linguaggio AAA , esiste un linguaggio di BBB tale che A≤TBA≤TBA \le_{\mathrm{T}} B ma B ≰TA≰TA\nleq_{\mathrm{T}} A . Stavo pensando di lasciare che BBB fosse ATMATMA_{\mathrm{TM}} , ma mi rendo conto che non tutte le lingue sono Turing riducibili …
1
Durezza e direzioni delle riduzioni
Diciamo che sappiamo che il problema A è difficile, quindi riduciamo A al problema sconosciuto B per dimostrare che anche B è difficile. Ad esempio: sappiamo che la colorazione 3 è difficile. Quindi riduciamo la colorazione da 3 a 4. Combinando uno dei colori nella 3 colorazione si ottiene una …
1
Espressività delle moderne espressioni regolari
Di recente ho discusso con un amico di un sito Web che proponeva sfide regex, principalmente abbinando un gruppo di parole a una proprietà speciale. Stava cercando una regex che corrispondesse a stringhe come ||||||||dove il numero di |è primo. Gli dissi immediatamente che non avrebbe mai funzionato perché se …
2
Il grafico 3-colorabilità è auto-riducibile
Sono interessato all'auto-riducibilità del problema del grafico 3-Coloralibity. Definizione del problema grafico a 3 coloralità. Dato un grafico non orientato esiste un modo per colorare i nodi rosso, verde e blu in modo che nessun nodo adiacente abbia lo stesso colore?GGG Definizione di auto-riducibilità. Una lingua è auto-riducibile se esiste …
Utilizzando il nostro sito, riconosci di aver letto e compreso le nostre Informativa sui cookie e Informativa sulla privacy.
Licensed under cc by-sa 3.0 with attribution required.