컴퓨터 과학

1

선형 프로그래밍 문제 : 주어진 행렬 A ∈ Rm × n 및 b ∈ Rm에 대해 Ax ≥ b의 x ∈ Rn이 존재하는지 여부를 결정하는 강력한 다항식 시간 알고리즘을 찾습니다. 나는 Steve Smale의 수학에서 해결되지 않은 몇 가지 문제를 열거하고 있다는 것을 알고 있습니다. 그러나 이러한 선형 프로그래밍 문제는 지금까지 …

12 algorithms polynomial-time linear-programming

1

정교한 Google DeepDream

이 사이트에서 Deep Dream에 대한 몇 가지 질문을 보았지만 실제로 DeepDream이 무엇을하고 있는지에 대해 실제로 말하는 사람은 없습니다. 내가 모은 한, 목표 함수를 변경하고 역 전파를 변경하여 가중치를 업데이트하는 대신 입력 이미지를 업데이트하는 것처럼 보입니다. Google이 한 일을 정확히 아는 사람이 있는지 궁금합니다. 그들은 그들의 기사 중 하나에서 최적화를 수행 …

12 machine-learning artificial-intelligence neural-networks image-processing computer-vision

6

가비지 수집이 다른 리소스 유형이 아닌 메모리로만 확장되는 이유는 무엇입니까?

사람들은 수동 메모리 관리에 질려서 가비지 수집을 발명했으며 인생은 합리적으로 좋았습니다. 그러나 다른 모든 자원 유형은 어떻습니까? 파일 디스크립터, 소켓 또는 심지어 데이터베이스 연결과 같은 사용자 생성 데이터? 이것은 순진한 질문처럼 느껴지지만 누군가가 묻는 곳을 찾을 수 없습니다. 파일 디스크립터를 고려해 봅시다. 프로그램이 시작할 때 4000 fd 만 사용할 수 …

12 garbage-collection resource-allocation

3

용어 재 작성이 필요한 이유

나는 약간의 googleing을하고 조금 짧게 나왔다. 나는 과학자, 프로그래머, 용어 재 작성 및 / 또는 용어 그래프 재 작성을 연구해야하는 주된 이유가 무엇인지 궁금합니다. 내가 알 수있는 한, 그것은 기능적 프로그램과 (제국적인) 프로그램 제어에 대한 기본적인 추론에 도움이됩니다. 분명히 이것은 논리 학자와 건설적인 추상 대수학을 연구하는 사람들에게 큰 관심 주제입니다. …

12 term-rewriting

2

양방향 DFA에 대한 공허 문제의 복잡성은 무엇입니까?

양방향 DFA의 공허함을 결정하는 데 시간 복잡성이 무엇인지 궁금합니다. 즉, 읽기 전용 입력 테이프에서 뒤로 이동할 수있는 유한 오토마타. Wikipedia에 따르면 DFA와 동일하지만 동등한 DFA는 기하 급수적으로 클 수 있습니다. 나는 보완 및 교차로에 대한 국가의 복잡성을 발견했지만 공허 테스트에 대해서는 아닙니다. 아무도 내가 이것을 찾을 수있는 종이를 알고 있습니까?

12 complexity-theory formal-languages reference-request automata finite-automata

1

프로그램 종합, 결정 성 및 정지 문제

나는 최근의 질문에 대한 답을 읽고 있었고, 이상하고 일시적인 생각이 떠 올랐습니다. 이 질문을하면 이론가가 심각하게 부족하거나 (거의 사실임)이 사이트를 읽기에는 너무 이르다는 사실을 배신 할 수 있습니다. 이제 면책 조항을 벗어난 상태에서 ... TM에 대해 정지 문제를 결정할 수 없다는 것은 계산 결과 이론으로 잘 알려진 결과이다. 그러나 특정 …

12 turing-machines undecidability halting-problem

5

DFA에서 모든 주에서 알파벳의 모든 기호에 대한 전환이 있습니까?

그렇지 않은 경우 일부 상태 및 일부 기호 , 가 존재하지 않을 때의 의미는 무엇 입니까?a δ ( q , a )큐qqㅏaaδ( q, )δ(q,a)\delta(q, a)

12 terminology automata finite-automata

1

의 보수를 증명

의 보수가 클로저 속성을 사용하여 규칙적이지 않다는 것을 증명하고 싶습니다 .{ 0엔1엔∣ n ≥0 }{0엔1엔∣엔≥0}\{0^n1^n \mid n \geq{} 0\} 펌핑 lemma를 사용하여 이 일반 언어가 아님 을 증명할 수 있습니다 . 또한 정규 언어가 보완 작업으로 닫혀 있음을 이해합니다. 그러나 이것이 비정규 언어의 보완이 비정규임을 의미 하는가?{ 0엔1엔∣ n ≥0 …

12 formal-languages regular-languages closure-properties

1

순수한 수요 페이징 동안 스왑 공간 관리

다음은 OS 홈 할당을 수행하면서 나왔음을 의심합니다. 그러나 간단한 코딩 질문보다 개념 기반으로 보이므로 IMHO 숙제 태그가 적합하지 않다고 생각합니다. 고정 된 양의 RAM 및 스왑 메모리가 주어지면 동시에 실행되는 여러 프로세스에 대한 순수 수요 페이징 체계에서 다음 두 경우에서 발생하는 상황은 스왑 공간에서 발생합니다. 프로세스에 페이지 결함이 발생하고 RAM에 …

12 operating-systems memory-allocation virtual-memory paging memory-management

1

머신 러닝에서 "사전"이라는 용어의 의미

나는 기계 학습을 처음 사용합니다. 나는 다양한 애플리케이션에 대해 딥 러닝을 사용하고 대부분의 모델 디자인 사례에서 "사전"이라는 용어를 사용한 여러 논문을 읽었습니다. 누군가 그것이 실제로 무엇을 의미하는지 설명 할 수 있습니까? 튜토리얼에서 이전과 이후의 수학적 공식 만 찾을 수있었습니다.

12 terminology machine-learning pattern-recognition bayesian-statistics

2

모든 가중치가 양수가되도록 상수를 추가하여 가중치가 음수 인 최단 경로를 찾을 수없는 이유는 무엇입니까?

나는 현재 알고리즘에 대한 소개를 읽고 있으며 모든 경로가 긍정적인지 확인하는 Johnson의 알고리즘을 사용했습니다. 이 알고리즘은 모든 모서리에 대해 긍정적이고 가장 짧은 경로 관계의 정확성을 유지하는 새로운 가중치 함수 (w ')를 찾는 데 달려 있습니다. 이것은 h (s), h (d) 값을 계산하여 w 원래 값에 더해집니다. 내 질문은, 왜 그래프에서 …

12 algorithms graph-theory graphs shortest-path

2

컴퓨터는 실제로 캐리-리더 헤드 가산기를 사용합니까?

대학 CS 과정에서 Kogge-Stone, Lander-Fischer 등과 같은 캐리 룩어 헤드 가산기에 대한 자세한 내용이 있습니다. 이들은 "업계에서 일반적"으로 설명됩니다. 그러나 최근에는 맨체스터 운반 체인을 제외하고 실제로 실제로 어디에서나 사용되었다는 증거를 찾을 수 없습니다. Google 검색은 저널 및 학술 연구 페이지 만 반환합니다. 기껏해야 가상의 구현이 제공됩니다. 내 질문은, 특정 장소 …

12 computer-architecture

2

두 정규식이 같은지 여부를 결정하는 알고리즘

두 개의 임의의 정규식이 주어지면 동일한 문자열 세트와 일치하는지 판별하는 "효율적인"알고리즘이 있습니까? 보다 일반적으로 두 일치 세트의 교차 크기를 계산할 수 있습니까? 이를 위해 어떤 알고리즘이 있으며 어떤 복잡한 클래스가 있습니까? 우리가 Kleene 별을 허용하지 않으면 그 그림이 전혀 바뀌지 않습니까?

12 algorithms regular-expressions

3

“증상 적으로 더 효율적”이라고 말하는 것은 무엇을 의미합니까?

알고리즘 가 보다 점진적으로 더 효율적 이라고 말할 때 무엇을 의미 합니까?XXXYYY XXX모든 입력에 가 더 나은 선택입니다. XXX작은 입력을 제외한 모든 입력에 가 더 나은 선택입니다. XXX큰 입력을 제외한 모든 입력에 가 더 나은 선택입니다. YYY 는 작은 입력에 더 나은 선택이 될 것입니다. 이 질문에 대한 링크는 여기에 …

12 algorithms algorithm-analysis terminology asymptotics

2

공개 질문 NP = co-NP는 P = NP와 동일합니까?

co- 를 주요 공개 문제 라고 부르는 온라인의 여러 장소를 기반으로 궁금한 점이 있지만 와 같은지 여부에 대한 표시를 찾을 수 없습니다. 문제 ...NP=NP=\sf NP=NPNP\sf NPP=NPP=NP\sf P=NP

12 complexity-theory complexity-classes p-vs-np