이론 컴퓨터 과학

나는 그 대답이 잘 알려진 질문이 있지만 약간의 검색 후에 의미있는 것을 찾을 수 없으므로 도움을 주셔서 감사합니다. 내 질문은 숫자가 초월인지 여부를 결정할 수 없다는 것이 알려져 있는지 여부입니다. 아마도, 숫자의 i ^ 번째 비트를 리턴하는 프로그램을 입력으로 가정 할 수 있습니다. 모든 포인터에 미리 감사드립니다.

9 computability  computable-analysis 

내 질문은 약간 모호합니다. 그래프의 패킹 문제에 treewidth 개념을 적용 할 수 있는지 궁금합니다. 나는 이것에 대한 과거의 연구 작업에 대한 통찰력이나 언급에 기뻐할 것입니다 (그들이 어떤 관계라고 가정). 감사.

9 ds.algorithms  reference-request  graph-theory  graph-algorithms  approximation-algorithms 

컴퓨터 과학자가 자신의 분야를 순수한 수학자로 바꿀 수있는 가능성은 무엇입니까? 가장 매끄러운 방법은 무엇입니까? 그것을 만들 수있는 사람들을위한 어떤 예?

9 soft-question  research-practice  career 

정보 게이트 키퍼로서 검색 엔진에 점점 더 의존하고 있지만, 검색 엔진이 결과 순위를 매기는데 사용하는 기준은 사용자에게 불투명합니다. 검색 결과 품질을 희생하여 관심을 끌기 위해 사용자의 결과가 어떤 식 으로든 편향되거나 변조되지 않도록하려면 어떻게해야합니까? 정부는 일상적으로 검색 공급자가 정치적으로 바람직하지 않은 웹 사이트의 순위를 제거하거나 낮추도록 요구합니다. 기업은 수익을 높이기 …

9 ds.algorithms  data-mining 

솔루션이 아니라 최소값을 가정하는 폴리 토프 표면의 중심에있는 솔루션을 원하는 선형 프로그램이 있습니다. 우선, 우리는 최소화되는 얼굴이 최소화되는 목적 함수가 많은 제약 조건의 최대 값이라는 것을 포함하여 다양한 이유로 높은 차원이어야합니다. 최소화 대상 가진 선형 모든 및 .ϵϵ\epsilonfi(x¯)≤ϵ&lt;0에프나는(엑스¯)≤ϵ&lt;0f_i(\bar x) \leq \epsilon < 0fi에프나는f_ixi&gt;0엑스나는&gt;0x_i > 0i나는i∑ixi=1∑나는엑스나는=1\sum_i x_i = 1 물론 단순한 …

9 ds.algorithms  linear-algebra  linear-programming 

정보 및 코딩 이론 및 통신 분야에서 SGT의 응용 프로그램이 무엇인지 알고 싶었습니다. 가장 관련성이 높은 것은 확장 코드 작업입니다. Michael Sipser와 Daniel Spielman, "탐색기 코드", IEEE 정보 이론 거래, Vol 42, No 6, pp. 1710-1722. 1996 다른 예?

9 it.information-theory  coding-theory  spectral-graph-theory 

최근 연구 의 맥락에서 , 우리는 클레인 (La Kleene)의 3 치 논리를 기반으로 언어를 정의 해 왔습니다.111 사실, 000 거짓으로 ⊥⊥\bot오류가 있거나 모르는 경우 우리의 언어가 표현 적이라는 것을 보여주기 위해, 우리는 기능적으로 완전한 일련의 연산자를 만들 수 있음을 증명하고자했습니다. 문헌에서 기존 결과를 찾기는 매우 어려웠습니다. 우리는 Jobe이 1962 년에 …

9 reference-request  lo.logic 

문맥없는 언어를 인식하기 위해 결정적이지 않은 푸시 다운 오토마타 (DPA = NPDA) 만 작동하는 이유를 알고 싶습니다. 결정 론적 푸시 다운 오토마타 (DPDA)가 왜 그런 언어를 인식하지 못합니까?

9 fl.formal-languages  automata-theory  context-free 

키를 자연수로 해석 할 때 다음 공식을 사용할 수 있습니다. h(k)=⌊m(kAmod1)⌋h(k)=⌊m(kAmod1)⌋\begin{equation} h(k) = \lfloor m (kA\bmod{1}) \rfloor \end{equation} 내가 이해하는 데 어려움이있는 것은 A의 가치를 선택하는 방법입니다. 0&lt;A&lt;10&lt;A&lt;1\begin{equation} 0 < A < 1 \end{equation} Knuth에 따르면 최적의 값은 다음과 같습니다. A≈(5–√−1)/2=0.6180339887...A≈(5−1)/2=0.6180339887...\begin{equation} A \thickapprox (\sqrt{5} - 1) / 2 = 0.6180339887... …

9 hash-function 

이 질문 에 후속 ... 연구에 신경망을 사용하고 만드는 방법을 배우려고 노력 중이며 한 가지 점이 다소 벗어날 것입니다. 숨겨진 레이어는 이것의 어느 정도 필요한 부분이라는 것을 알고 있지만 내 참조가 만족스럽지 않은 두 가지 점에 붙어 있습니다. 숨겨진 레이어의 정확한 목적은 무엇입니까? 사용할 숨겨진 레이어 수를 어떻게 결정합니까? 내가 …

9 ne.neural-evol 

하위 집합의 목록 이 합니다. 필요한 경우이 목록에서 전처리를 수행 할 수 있습니다. 이 전처리 후에 다른 세트 됩니다. 세트 를 로 식별하고 싶습니다 .XX\cal X{1,...,n}{1,...,n}\{1, ..., n\}A⊆{1,...,n}A⊆{1,...,n}A \subseteq \{1, ..., n \}B∈XB∈XB \in \mathcal XB⊆AB⊆AB \subseteq A 명백한 알고리즘 (전처리없이)에는 시간 )가 걸립니다. 각 별도로 를 테스트하면 됩니다. 이것보다 …

9 ds.algorithms  ds.data-structures 

고차원 볼록 다면체를 계산 / 추정하는 소프트웨어를 찾고 있습니다. 더 구체적으로, 나는 및 과 같이 대략적으로 경계가 지정된 매개 변수를 사용 하여 차원 공간 에서 개의 정점을 가진 바디를 처리 할 수있는 프로그램에 관심이 있습니다 . 얼굴 수에 대한 보장은 없습니다.엔nn디dd디≤ 50d≤50d \le 50n ≤ 1000n≤1000n \le 1000 Jeff Erickson의 …

9 cg.comp-geom  software  convex-geometry  high-dimensional-geometry 

평면의 들로네 삼각 분할은 삼각형의 최소 각도를 최대화합니다. 구체의 점들의 들로네 삼각 분할에 대해서도 마찬가지입니까? (여기서 "각도"는 정점에서 정점 주위의 로컬 각도입니다). Math.SE에 관한 이 질문 에서 영감을 얻었지만 관련 이 없습니다.

9 cg.comp-geom  delaunay-triangulation 

(이것이 잘못되거나 너무 광범위하면 사과드립니다. 나는 그것을 어떻게 재구성해야하는지 제안 할 수 있습니다.) max-flow 알고리즘의 "고대"기록과 이산 최적화 알고리즘을 추적하는 데 관심이 있습니다. 포드 풀 커슨은 출발점의 밀짚 꾼입니다. 그 이전의 중요한 발전은 무엇입니까? 누군가가 최대 흐름을 연구하고 있다는 합리적인 주장을 할 수있을 때 얼마나 멀리 갈 수 있습니까? 그래프 …

9 ds.algorithms  graph-algorithms  ho.history-overview 

PCP 정리는 NP의 모든 의사 결정 문제가 확률 적으로 검사 할 수있는 증거를 가지고 있다고 주장합니다. PCP 정리 (주변 이론에 대한 PCP의 중요성을 잠시 무시 함)를 둘러싼“민중 지혜”는 엄격한 수학 언어로 작성된 증거를 전체를 읽을 필요없이 원하는 정확도로 효율적으로 확인할 수 있다는 것을 의미합니다. 증거 (또는 증거의 대부분). 나는 이것을 …

9 lo.logic  pcp  polynomial-hierarchy