Вопросы с тегом «terminology»

Я читал в Википедии, что объединение - это процесс решения проблемы выполнимости. В то же время я знаю, что такие решатели называются «решателями SAT» или «решателями SMT». Так это разные имена для одного и того же? Если вы говорите, что они разные, пожалуйста, укажите на недостатки в моем лечении.

10 terminology  sat-solvers  unification 

Означает ли принятие, что ТМ будет читать и распознавать символ из ячейки, с которой он в данный момент читает? И это тот случай, когда ТМ останавливается, если вход разрешим?

10 terminology  turing-machines  undecidability 

Есть ли формальное определение средней высоты бинарного дерева? У меня есть вопрос по нахождению средней высоты двоичного дерева с помощью следующих двух методов: Естественным решением может быть определение средней длины всех возможных путей от корня до листа, то есть AVH1( Т) = 1# листья в Т⋅ ∑V лист Тглубина( v …

10 graph-theory  terminology  combinatorics  binary-trees 

Я задал (начальный) вопрос о суммах терминов Ландау прежде , пытаясь измерить опасность злоупотребления асимптотическими обозначениями в арифметике, но с переменным успехом. Теперь, здесь наш рецидивы гуру JeffE делает в основном это: ∑i=1nΘ(1i)=Θ(Hn)∑i=1nΘ(1i)=Θ(Hn)\qquad \displaystyle \sum_{i=1}^n \Theta\left(\frac{1}{i}\right) = \Theta(H_n) Хотя конечный результат верен, я думаю, что это неправильно. Почему? Если мы …

10 terminology  asymptotics  landau-notation 

Когда я читал статью с описанием различий в ОО и функциональном программировании, я наткнулся на указатели функций. Прошло много времени с тех пор, как я получил степень в области компьютерных наук (2003), и поэтому я искал указатели, чтобы освежить свою память. Указатели - это переменные, содержащие ссылку на адрес памяти. …

10 terminology  programming-languages 

Мне трудно четко различать многозадачность и многозадачность. Моим основным источником была Википедия , но статья WP, кажется, немного расходится с некоторыми менее авторитетными источниками (такими как мой профессор колледжа). Когда я читаю WP, мультипрограммирование является элементарным способом увеличения пропускной способности процессора путем переключения контекста, когда процесс ожидает ввода-вывода. Мультипрограммирование не …

10 terminology  process-scheduling 

С точки зрения асимптотического поведения, что считается «эффективным» алгоритмом? Каков стандарт / причина для рисования линии в этой точке? Лично я бы подумал, что все, что я могу наивно назвать «подполиномом», такое, что такое как , будет эффективным, а все, что будет "неэффективным". Однако я слышал, что все, что имеет …

10 algorithms  terminology  asymptotics  landau-notation 

Время от времени встречается головокружительный набор символов, используемых в математических и компьютерных работах. Все же многие предполагают базовое знакомство, которое, кажется, редко преподается в одном месте. Я ищу словарь что-то вроде следующего, особенно с точки зрения CS. В нем будут перечислены все основные математические символы и приведены их значения и …

10 terminology  reference-request  education 

Двудольный граф плоский, если в нем нет или миноров. К 5K3,3K3,3K_{3, 3}K5K5K_5 Я ищу необходимые или / и достаточные условия, чтобы плоские чертежи без ребер "обходили" наборы вершин. Это рисунки, удовлетворяющие: Все вершины одной части нарисованы на одной вертикальной линии. Вершины другой части нарисованы на параллельной линии вертикали. Края не …

9 graph-theory  terminology  graph-drawing 

Я слышал несколько возможных объяснений, поэтому я хотел бы получить надежную ссылку. Обновление 05.19: Меня интересует этот вопрос, потому что один из моих студентов написал в своей диссертации, что название происходит от объяснения ниже (1). До сих пор я думал / слышал, что это происходит из объяснения (2). Я бы …

9 terminology  reference-request  history 

Может ли кто-нибудь объяснить мне, что именно забывает ОЗУ? Я нашел следующее объяснение, которое делает его довольно понятным для меня, но я хотел бы получить представление о технических аспектах: Шифрование не всегда достаточно для обеспечения конфиденциальности. Если злоумышленник может наблюдать ваши шаблоны доступа к зашифрованному хранилищу, он все равно может …

9 terminology  computer-architecture  security  memory-hardware  memory-access 

У одного из моих пожилых людей было собеседование, и его спросили, почему это называется динамическим. Он не мог ответить, и после того, как он сдался, интервьюер сказал, что в этом нет ничего динамичного, его просто так называют. В это трудно поверить. Относится ли это к тому, что подзадачи решаются во …

9 terminology  dynamic-programming 

Мне кажется странным, что TSP отрицает возможность повторных городов. Цель этого коммивояжера - поехать как можно быстрее и посетить все города, верно? Так что, если быстрее путешествовать по городу, в котором вы уже были?

9 terminology  traveling-salesman 

В главе 1 « Практических основ языков программирования» автор упоминает, что абстрактные синтаксические деревья связаны с сортировками . Интуитивно, сортировки похожи на типы, но я хотел бы знать, есть ли у них точное определение. Я был бы рад, если бы некоторые ссылки были также предоставлены.

9 terminology  programming-languages  semantics 

Я борюсь с несколькими определениями в представлении знаний и ищу надежную помощь, чтобы различать их. Я искал в википедии и на многих сайтах разницу между онтологиями и семантическими сетями (не путать с семантической сетью). Хотя страница википедии по семантической сети никогда не ссылается на онтологии, они кажутся чрезвычайно похожими и …

9 terminology  knowledge-representation  ontologies