Perguntas com a marcação «big-picture»

O rótulo geral é para uma "visão geral ampla ou perspectiva de um problema ou problema".

29
Algoritmos principais implantados
Para demonstrar a importância dos algoritmos (por exemplo, para estudantes e professores que não fazem teoria ou são de campos totalmente diferentes), às vezes é útil ter à mão uma lista de exemplos em que os algoritmos principais foram implantados em setores comerciais, governamentais, ou software / hardware amplamente utilizado. …
11
Qual é a iluminação que devo atingir depois de estudar autômatos finitos?
Estive revisando a Teoria da Computação por diversão e essa pergunta me incomoda há um tempo (engraçado nunca pensei nisso quando aprendi a Teoria dos Autômatos na minha graduação). Então, "por que" exatamente estudamos autômatos finitos determinísticos e não determinísticos (DFA / NFAs)? Então, aqui estão algumas respostas que eu …
7
Qual é a contribuição do cálculo lambda para o campo da teoria da computação?
Estou apenas lendo o cálculo lambda para "conhecê-lo". Eu vejo isso como uma forma alternativa de computação, em oposição à Máquina de Turing. É uma maneira interessante de fazer coisas com funções / reduções (falando grosseiramente). Algumas perguntas continuam me incomodando: Qual é o objetivo do cálculo lambda? Por que …
5
Técnicas para reverter a ordem dos quantificadores
É sabido que, em geral, a ordem dos quantificadores universais e existenciais não pode ser revertida. Em outras palavras, para uma fórmula lógica geral ,ϕ(⋅,⋅)ϕ(⋅,⋅)\phi(\cdot,\cdot) (∀x)(∃y)ϕ(x,y)⇎(∃y)(∀x)ϕ(x,y)(∀x)(∃y)ϕ(x,y)⇎(∃y)(∀x)ϕ(x,y)(\forall x)(\exists y) \phi(x,y) \quad \not\Leftrightarrow \quad (\exists y)(\forall x) \phi(x,y) Por outro lado, sabemos que o lado direito é mais restritivo do que o …
7
Quais teoremas interessantes no TCS dependem do axioma da escolha? (Ou, alternativamente, o axioma da determinação?)
Os matemáticos às vezes se preocupam com o axioma da escolha (CA) e o axioma da determinação (DA). Axiom of Choice : Dado qualquer coleção de conjuntos não vazios, existe uma função f que, dado um conjunto S em C , retorna um membro da S .CC{\cal C}fffSSSCC{\cal C}SSS Axioma …
7
Os problemas completos
Actualmente, a solução quer uma problema -completo ou um P S P A C E problema -completo é inviável no caso geral, para as grandes entradas. No entanto, ambos são solucionáveis ​​no tempo exponencial e no espaço polinomial.NPNPNPPSPA CEPSPACEPSPACE Como somos incapazes de construir computadores não determinísticos ou com "sorte", …
5
Principais razões pelas quais os problemas estão em P ou BPP
Recentemente, ao conversar com um físico, afirmei que, em minha experiência, quando um problema que parece ingenuamente levar um tempo exponencial acaba não sendo trivialmente em P ou BPP, uma "razão abrangente" pela qual a redução ocorre geralmente pode ser identificada --- e quase sempre, esse motivo pertence a uma …
3
Algoritmos surpreendentes para contar problemas
Existem alguns problemas de contagem que envolvem contar exponencialmente muitas coisas (em relação ao tamanho da entrada) e ainda possuem algoritmos determinísticos surpreendentes em tempo polinomial exato. Exemplos incluem: Contando combinações perfeitas em um gráfico planar (o algoritmo FKT ), que é a base para o funcionamento dos algoritmos holográficos …
4
Por que consideramos o espaço de log como um modelo de computação eficiente (em vez do espaço de polilog)?
Essa pode ser uma pergunta subjetiva, e não uma resposta concreta, mas de qualquer maneira. Na teoria da complexidade estudamos a noção de cálculos eficientes. Existem classes como significa tempo polinomial e significa espaço no log . Ambos são considerados representados como uma espécie de "eficiência" e capturam muito bem …
Ao utilizar nosso site, você reconhece que leu e compreendeu nossa Política de Cookies e nossa Política de Privacidade.
Licensed under cc by-sa 3.0 with attribution required.