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].

2
Perché il tipo di vuoto di C non è analogo al tipo vuoto / inferiore?
Wikipedia e altre fonti che ho trovato elencano il voidtipo C come un tipo di unità anziché un tipo vuoto. Lo trovo confuso in quanto mi sembra che si voidadatti meglio alla definizione di un tipo vuoto / inferiore. voidPer quanto ne so, non abitano valori . Una funzione con …
28 type-theory  c  logic  modal-logic  coq  equality  coinduction  artificial-intelligence  computer-architecture  compilers  asymptotics  formal-languages  asymptotics  landau-notation  asymptotics  turing-machines  optimization  decision-problem  rice-theorem  algorithms  arithmetic  floating-point  automata  finite-automata  data-structures  search-trees  balanced-search-trees  complexity-theory  asymptotics  amortized-analysis  complexity-theory  graphs  np-complete  reductions  np-hard  algorithms  string-metrics  computability  artificial-intelligence  halting-problem  turing-machines  computation-models  graph-theory  terminology  complexity-theory  decision-problem  polynomial-time  algorithms  algorithm-analysis  optimization  runtime-analysis  loops  turing-machines  computation-models  recurrence-relation  master-theorem  complexity-theory  asymptotics  parallel-computing  landau-notation  terminology  optimization  decision-problem  complexity-theory  polynomial-time  counting  coding-theory  permutations  encoding-scheme  error-correcting-codes  machine-learning  natural-language-processing  algorithms  graphs  social-networks  network-analysis  relational-algebra  constraint-satisfaction  polymorphisms  algorithms  graphs  trees 
1
Ordinamento come programma lineare
Un numero sorprendente di problemi ha riduzioni abbastanza naturali della programmazione lineare (LP). Vedi il capitolo 7 di [1] per esempi come flussi di rete, abbinamento bipartito, giochi a somma zero, percorsi più brevi, una forma di regressione lineare e persino valutazione del circuito! Poiché la valutazione del circuito si …
2
Se riesco a risolvere il Sudoku, posso risolvere il Problema del commesso viaggiatore (TSP)? Se é cosi, come?
Diciamo che esiste un programma tale che se dai un Sudoku parzialmente riempito di qualsiasi dimensione ti dà il Sudoku completo corrispondente. Riesci a trattare questo programma come una scatola nera e utilizzarlo per risolvere TSP? Voglio dire, c'è un modo per rappresentare il problema TSP come Sudoku parzialmente riempito, …
2
Ridurre il seguente problema a SAT
Ecco il problema Dato , dove ogni . Esiste un sottoinsieme con dimensioni al massimo tali che S \ cap T_i \ neq \ emptyset per tutti i ? Sto cercando di ridurre questo problema a SAT. La mia idea di una soluzione sarebbe quella di avere una variabile x_i …
3
HALF CLIQUE - Problema completo NP
Vorrei iniziare osservando che si tratta di un problema di compiti a casa, si prega di fornire solo consigli e osservazioni correlate, NESSUN RISPOSTA DIRETTA per favore . Detto questo, ecco il problema che sto esaminando: Let MEZZA CLIQUE = { | è un grafico non orientato con un sottografo …
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.