Ciência da Computação

Perguntas e respostas para estudantes, pesquisadores e profissionais de ciência da computação

2
Encontre um violador de Hall de cardinalidade mínima
Dado um gráfico bipartido (X,Y，E)(X,Y，E)(X,Y，E), em que não há uma correspondência perfeita, quero encontrar um menor subconjunto que viole a condição de Hall, ou seja, um conjunto de cardinalidade mínima S⊆XS⊆XS \subseteq X para qual |N(S)|&lt;|S||N(S)|&lt;|S||N(S)|<|S|. Esse problema é a versão de otimização de uma pergunta anterior. Encontrar um subconjunto …
1
O algoritmo de linearização C3 para resolução de métodos em várias linguagens OO de herança múltipla: procurando uma justificativa para alguns detalhes da implementação
De acordo com esta descrição da ordem de resolução de método do Python (mro), também conhecida como linearização C3 , o algoritmo pode ser descrito recursivamente da seguinte forma: L(O) = &lt;O&gt; L(C) = &lt;C&gt; + merge(L(B1),..., L(Bn), &lt;B1,...,Bn&gt;) Onde O é a classe da qual toda classe herda. Cé …
1
versus
Existe uma definição equivalente para a classe NLNL\mathsf{NL}com verificador. Esses verificadores são máquinas de Turing determinísticas que podem ler a fita testemunha apenas uma vez, de uma maneira, da esquerda para a direita. Dada uma função f:N→Nf:N→Nf:\mathbb{N}\to\mathbb{N} nós dizemos isso NL[f(n)]NL[f(n)]\mathsf{NL}[f(n)] é a classe obtida pela definição acima, mas o …
1
Problemas para entender o teorema mestre, nas Notas de Jeffrey Erickson
Estou olhando as notas de Jeffrey Erickson sobre o teorema dos mestres (página 10). A parte (b) do teorema afirma que se , e então T (n) é . Mas eu recebo um resultado diferente.T(n)=aT(nb)+f(n)T(n)=aT(nb)+f(n)T(n) = aT(\frac{n}{b})+f(n)af(nb)=kf(n)af(nb)=kf(n)af(\frac{n}{b}) = kf(n)k&gt;1k&gt;1k>1Θ(nlogb(a))Θ(nlogb⁡(a))\Theta(n^{\log_b(a)}) Usando árvores de recursão, temosT(n)=∑i=0logb(n)aif(nbi)=∑k=0logb(n)kif(n).T(n)=∑i=0logb⁡(n)aif(nbi)=∑k=0logb⁡(n)kif(n).T(n) = \sum_{i=0}^{\log_b(n)} a^i f\left(\frac{n}{b^i}\right) = \sum_{k=0}^{\log_b(n)} …
1
Complexidade computacional da variante SAT nem todos iguais
Nem todos os SAT iguais são um problema completo do NP. Vamos agora considerar outra variante do problema. Dado um problema Nem todos iguais (NAESAT) (número arbitrário de literais permitido por cláusula) com uma restrição adicional de que cada par de cláusulas compartilha pelo menos 1 literal (não variáveis, mas …
1
Correspondência de Curry Howard com Predicate Logic?
Então, eu estou tentando convencer Curry-Howard. (Eu tentei várias vezes, não é gelificante / parece muito abstrato). Para abordar algo concreto, estou trabalhando nos dois tutoriais de Haskell vinculados à wikipedia, especialmente no de Tim Newsham . Também há uma discussão útil quando Newsham postou o tutorial. (Mas vou ignorar …
1
Prova de que TAUT é coNP completo (ou que um problema é coNP completo se seu complemento for NP completo)
Preciso provar que o TAUT é coNP-completo. Eu mostrei esse reduzindo para . No entanto, não consigo descobrir como provar que todos os problemas no coNP podem ser reduzidos para em tempo polinomial. Para fazer isso, eu precisaria de uma de duas coisas:TAUT∈coNPTAUT∈coNP\text{TAUT} \in \text{coNP}SATSAT\text{SAT}TAUT¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯TAUT¯\overline{\text{TAUT}}TAUTTAUT\text{TAUT} Um problema coNP-completo conhecido para …
1
Existe uma máquina de Turing que roda no tempo , mas não ?
Sabe-se que qualquer máquina de Turing (determinística, com uma única fita) que executa no tempo decide um idioma regular (por exemplo, consulte este link ). Assim, existe uma máquina de Turing equivalente que roda no tempo . Em outras palavras, se entãoo(nlogn)o(nlog⁡n)o(n\log n)O(n)O(n)O(n)t(n)=o(nlogn)t(n)=o(nlog⁡n)t(n)=o(n\log n)DTIME(t(n))∖DTIME(n)=∅.DTIME(t(n))∖DTIME(n)=∅.\mathsf{DTIME}\left(t\left(n\right)\right)\backslash\mathsf{DTIME}\left(n\right)=\emptyset. Fiquei imaginando se existe um exemplo …
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.