«examples» 태그된 질문

08/12/08에 편집 : 더 많은 사람들이 자신의 의견을 공유 할 수 있도록 질문을 수정하려고합니다. 우리는 당신의 공헌이 필요합니다! 이 게시물은 MO의 한 주제에서 영감을 얻었습니다 . 수학에 대한 일반적인 거짓 신념의 예 . 큰 목록은 때때로 그 품질을 통제하기 어려운 많은 답변을 생성하지만 MO 관련 게시물의 성공 후 나는 TCS에 …

62 big-list  examples 

이 질문의 목적은 컴퓨터의 체계적인 사용이 도움이 된 이론적 인 컴퓨터 과학으로부터 사례를 수집하는 것입니다. 정리로 이어지는 추측을 세우는 데 추측 또는 증거 접근을 위조하는 행위 증거의 구성 / 확인 (일부). 구체적인 예가 있다면 어떻게했는지 설명하십시오. 아마도 이것은 다른 사람들이 일상적인 연구에서 컴퓨터를 더 효과적으로 사용하는 데 도움이 될 것입니다 …

55 proofs  survey  examples 

주어진 후보 솔루션의 품질을 평가하는 것보다 최적의 솔루션을 생성하는 것이 훨씬 쉬운 최적화 문제의 알려진 자연적인 예가 있습니까? 구체성을 위해, 우리는 폼의 다항식 시간 풀수 최적화 문제를 고려할 수있다 : "특정 X를 최소화 "여기서, F : { 0 , 1 } * × { 0 , 1 } * → …

10 cc.complexity-theory  optimization  examples 

Hartmanis and Stearns 의 1965 년 기사 " 알고리즘의 계산 복잡성 "에서, 저자는 실시간 Turing Machine이 실수 을 계산할 경우 , 예를 들어 밑이 10 인 경우 은 유리수 또는 a라고 가정합니다. 초월 번호.rrrrrr 예를 들어 10 진법과 같은 실시간 튜링 머신에서 계산할 수없는 계산 가능한 초월 번호가 있습니까?

10 cc.complexity-theory  reference-request  examples 

허락하다 ΣΣ\Sigma알파벳, 즉 비어 있지 않은 유한 집합이어야합니다. 문자열은 다음에서 나오는 요소 (문자)의 유한 시퀀스입니다.ΣΣ\Sigma. 예로서,{ 0 , 1 }{0,1} \{0, 1\} 이진 알파벳이고 011001100110 이 알파벳의 문자열입니다. 일반적으로 ΣΣ\Sigma 하나 이상의 요소를 포함하며 요소의 정확한 수 ΣΣ\Sigma중요하지 않습니다. 기껏해야 다른 상수로 끝납니다. 즉, 이진 알파벳, 숫자, 라틴 알파벳 또는 …

9 big-list  encoding  examples