Понятия со словом «совершенна»
Сильная гипотеза о совершенных графах — это характеризация запрещёнными графами совершенных графов как в точности тех графов, которые не имеют ни нечётных дыр (порождённых циклов нечётной длины), ни нечётных антидыр (дополнений нечётным дырам). Гипотезу высказал Берж в 1961. Доказательство Марии Чудновской, Нила Робертсона, Пола Сеймура и Робина Томаса было заявлено в 2002 и опубликовано ими в 2006.
Теорема о совершенных графах Ловаша утверждает, что неориентированный граф является совершенным тогда и только тогда, когда его дополнение также совершенно. Это утверждение высказал в виде гипотезы Берж и утверждение называют иногда слабой теоремой о совершенных графах, чтобы не смешивать со строгой теоремой о совершенных графах, описывающей совершенные графы их запрещёнными порождёнными подграфами.
Связанные понятия
Боевая эффективность – обобщённое понятие, характеризующее степень приспособленности боевого средства к выполнению стоящих перед ним боевых задач.
Вина́ — это важнейшая составляющая субъективной стороны состава проступка или деликта, внутреннее отношение лица к совершаемому действию (бездействию) и причинённым вследствие этого последствиям.
В теории графов вполне упорядочиваемый граф — это граф, вершины которого можно упорядочить так, что алгоритм жадной раскраски с этим упорядочением оптимально раскрашивает любой порождённый подграф заданного графа. Соответствующее упорядочение назывется совершенным. Вполне упорядочиваемые графы образуют подкласс совершенных графов и в это подкласс входят хордальные графы, графы сравнимости и дистанционно-наследуемые графы. Однако проверка, является ли граф вполне упорядочиваемым, есть NP-полная задача...
В теории графов графом без клешней называется граф, который не содержит порождённых подграфов, изоморфных K1,3 (клешней).
Подробнее: Граф без клешней
В теории графов граф сравнимости — это неориентированный граф, в котором пары элементов соединены ребром, если эти элементы сравнимы в некотором частичном порядке. Графы сравнимости также называют транзитивно-ориентируемыми графами, частично упорядочиваемыми графами и графами вложенности.
Добровольный отказ от совершения преступления — это прекращение лицом приготовления к преступлению либо прекращение действий (бездействия), непосредственно направленных на совершение преступления, если лицо осознавало возможность доведения преступления до конца. Лицо не подлежит уголовной ответственности за преступление, если оно добровольно и окончательно отказалось от доведения этого преступления до конца.
Доказа́тельство — рассуждение по определенным правилам, обосновывающее какое-либо утверждение. В разных областях науки и человеческой деятельности этот термин имеет разные значения.
Дробная раскраска — это тема молодой области теории графов, известной как теория дробных графов. Дробная раскраска является обобщением обычной раскраски. В традиционной раскраске графа каждой вершине назначается некий цвет, и смежным вершинам — тем, что связаны рёбрами, — должны быть назначены разные цвета. В дробной раскраске каждой вершине назначается набор цветов.
Единым, или единичным преступлением признаётся деяние, которое содержит состав одного преступления, квалифицируется по одной статье уголовного закона или её части. Нормативное определение единичного преступления даётся, например, в Уголовном кодексе Латвии: «Отдельным (единым) преступным деянием признается одно деяние (действие или бездействие), имеющее признаки состава одного преступного деяния или двух, или нескольких связанных между собой преступных деяний, которые охватываются единым умыслом...
Подробнее: Единое преступление
Задача о клике относится к классу NP-полных задач в области теории графов. Впервые она была сформулирована в 1972 году Ричардом Карпом.
Байесовская
игра (англ. Bayesian game) или игра с неполной информацией (англ. incomplete information game) в теории игр характеризуются неполнотой информации о соперниках (их возможных стратегиях и выигрышах), при этом у игроков есть веры относительно этой неопределённости. Байесовскую игру можно преобразовать в игру полной, но несовершенной информации, если принять допущение об общем априорном распределении. В отличие от неполной информации, несовершенная информация включает знание стратегий и выигрышей...
Индифферентный граф — это неориентированный граф, построенный путём назначения вещественного числа каждой вершине и соединения двух вершин ребром, когда их числа отличаются не более чем на единицу. Индифферентные графы являются также графами пересечений множеств единичных отрезков или интервалов с определённым свойством вложения (никакой интервал не содержит какой-либо другой). Основываясь на этих двух типах интервальных представлений, эти графы называются также графами единичных отрезков или собственными...
Интервальная размерность графа — это минимальная размерность, в которой заданный граф может быть представлен в виде графа пересечений гиперпрямоугольников (то есть многомерных прямоугольных параллелепипедов) с параллельными осям рёбрами. То есть должно существовать один-к-одному соответствие между вершинами графа и множеством гиперпрямоугольников, таких, что прямоугольники пересекаются тогда и только тогда, когда существует ребро, соединяющее соответствующие вершины.
Интернет-преступность — противоправные общественно опасные деяния, совершенные с использованием сети Интернет.
И́стинный смысл — правовая теория в интерпретации канадской конституции, используемая для определения, какому уровню власти принадлежит право издавать законы по конкретному вопросу. Теория применяется, главным образом, когда закон оспаривается на основании того, что один уровень власти (провинциальный или федеральный) нарушил пределы исключительных полномочий другого уровня власти.
Итеративное сжатие — это алгоритмическая техника разработки фиксированно-параметрически разрешимых алгоритмов, в которой один элемент (такой как вершина графа) добавляется в задачу на каждом шаге и используется небольшое решение задачи перед добавлением элемента, чтобы найти небольшое решение задачи после добавления.
Квалификация преступлений в уголовном праве — точная уголовно-правовая оценка конкретного общественно опасного деяния. Она заключается в установлении точного соответствия между признаками совершенного общественно опасного деяния и признаками, предусмотренными в нормах уголовного закона.
Классическая школа уголовного права — направление в уголовно-правовой науке, появившееся в XVIII веке. Среди основных положений, выдвигаемых сторонниками данной школы, можно назвать признание уголовного закона единственным актом, который может устанавливать преступность и наказуемость деяний, а также провозглашение равенства всех перед законом независимо от сословной принадлежности и привилегий.
Коры́сть — жадность к деньгам, материальному богатству; страсть к наживе, личной выгоде. Раскрыть понятие можно с разных сторон...
Неглубокий минор или минор ограниченной глубины — это ограниченный вид минора графа, в котором стянутые подграфы имеют малый диаметр. Неглубокие миноры ввели Плоткин, Рао и Смит, но они приписывают определение термина Чарльзу Лейзерсону и Сивану Толедо.
Неоднократность преступлений — это форма множественности преступлений, предполагающая совершение лицом двух и более однородных (например, различные виды хищений: кража, грабёж, разбой) или тождественных деяний, ни за одно из которых оно не понесло ответственности.
Неосторожность в уголовном праве — это одна из форм вины, характеризующаяся легкомысленным расчётом на предотвращение вредных последствий деяния лица, либо отсутствием предвидения наступления таких последствий. Впервые неосторожность была выделена средневековыми итальянскими учёными как одна из форм косвенного умысла.
Объективное вменение — это привлечение лица к уголовной ответственности без установления его вины. Объективное вменение может заключаться как в привлечении к уголовной ответственности за случайные последствия действий человека, так и в привлечении к ответственности лиц, действия которых вообще не состоят в причинной связи с причинённым вредом, но наказание которых по каким-либо причинам представляется целесообразным.
Ошибка в уголовном праве — заблуждение лица, совершающего деяние, относительно фактических обстоятельств, определяющих характер и степень общественной опасности деяния, или его юридической характеристики.
Планарное накрытие конечного графа G — это конечный накрывающий граф графа G, являющийся планарным графом. Любой граф, который может быть вложен в проективную плоскость, имеет планарное накрытие. Нерешённая гипотеза Сэйи Негами утверждает, что только эти графы и имеют планарные накрытия.
Предмет преступления — это вещь, элемент материального мира, на который осуществляется воздействие в ходе совершения преступления. Например, предметом хищения является само похищенное имущество, предметом взяточничества — полученные должностным лицом деньги, предметом контрабанды — перемещаемые через границу товары. Признак предмета преступления в составе преступления является факультативным: он имеет значение не для всех составов преступления, и даже не во всех составах преступления присутствует...
Презу́мпция (от лат. praesumptio — предположение, ожидание, надежда) — предположение, которое считается истинным до тех пор, пока ложность такого предположения не будет бесспорно доказана. Презумпции широко используются в юриспруденции и в естественных науках, во втором случае — зачастую неявно.
Преступления против жизни — преступления, главным объектом которых является основное благо человека — жизнь. В случае оконченности такого преступления его результатом является причинение смерти. Как правило, эти преступления являются самыми тяжкими в уголовном законодательстве различных государств и влекут наиболее суровое наказание.
Преступное бездействие — это волевое пассивное поведение человека, которое заключается в том, что лицо не выполняет или ненадлежащим образом выполняет возложенную на него обязанность, в результате чего причиняется вред объектам охраны уголовного права или создаётся угроза причинения такого вреда.
Приготовление к преступлению — это деяния лица, направленные на создание условий для будущего совершения преступления, не доведённые до конца по причинам, не зависящим от воли данного лица.
Примирение с потерпевшим — существующий в уголовном праве многих государств мира институт, предполагающий освобождение от ответственности либо значительное смягчение наказания преступнику, достигнувшему с потерпевшим соглашения о примирении (как правило, предполагающего возмещение причинённого вреда). Соответствующие положения могут содержаться как в уголовном, так и в уголовно-процессуальном законодательстве.
Равномощность — отношение эквивалентности на множествах ключевое в определении мощности множества.
Самовольное оставление части или места службы (аббр. СОЧ, жарг. «сочи»,<<соча>>,«стать на лыжи») заключается в отсутствии военнослужащего в расположении части или на месте службы без разрешения на то командира (начальника) и других законных (чрезвычайных) оснований, оправдывающих это отсутствие. Под территорией воинской части понимается место расположения казарм, палаток, других помещений, где постоянно или временно проживают и проходят службу военнослужащие. Место службы может находиться за пределами...
Совокупность преступлений имеет место, когда лицо последовательно совершает несколько преступлений, однако не является осуждённым, либо освобождённым от уголовной ответственности ни за одно из них.
Структурная индукция — конструктивный метод математического доказательства, обобщающий математическую индукцию (применяемую над натуральным рядом) на произвольные рекурсивно определённые частично упорядоченные совокупности. Структурная рекурсия — реализация структурной индукции в форме определения, процедуры доказательства или программы, обеспечивающая индукционный переход над частично упорядоченной совокупностью.
Субъективное вменение — принцип уголовного права, содержание которого заключается в том, что юридически значимыми и способными повлечь применение мер ответственности являются лишь те обстоятельства деяния, которые осознавались лицом, совершившим деяние.
В законе Об
авторском праве США термин существенное сходство является стандартом, используемым для определения того, нарушены ли авторские права или нет. Стандарт исходит из признания того, что исключительное право делать копии произведения будет лишено смысла, если нарушение было ограничено только точными и полными копиями произведения. Многие суды использовали термин «существенное сходство» или «поразительное сходство» для доказательства проведенного копирования.
Теорема Брукса — утверждение в теории графов, устанавливающее связь между максимальной степенью графа и его хроматическим числом. Согласно этой теореме вершины связного графа, в котором все вершины имеют не больше Δ соседей, можно раскрасить всего в Δ цветов, за исключением двух случаев — полных графов и циклов нечётной длины, для которых требуется Δ + 1 цветов.
Теорема Дилуорса в комбинаторике — утверждение, характеризующее экстремальное свойство для частично упорядоченных множеств.
Теорема де Брёйна — Эрдёша — классическая теорема теории графов доказанная Палом Эрдёшем и Николаасом де Брёйном.
Освидетельствование — следственное действие, призванное установить наличие либо отсутствие на теле человека особых отличительных примет, следов преступления либо телесных повреждений. Может быть произведено также с целью выявления состояния опьянения либо иных свойств и признаков, имеющих значение для уголовного дела. Производство освидетельствования возможно как на стадии предварительного расследования, так и в ходе судебного следствия и регламентировано статьями 179 и 290 Уголовно-процессуального...
У́мысел — одна из форм вины, противопоставляемая неосторожности. В административном праве, а также в уголовном законодательстве некоторых стран, виновным может быть признано даже юридическое лицо. В уголовном праве умышленная форма вины предполагает осознание виновным сущности совершаемого деяния, предвидение его последствий и наличие воли, направленной к его совершению.Умышленная форма вины наиболее распространена в законе и на практике (до 90 % деяний).В уголовном праве в зависимости от особенностей...
Универса́льная юрисди́кция — один из видов экстерриториальной уголовной юрисдикции, подразумевающий компетенцию государства по привлечению к уголовной ответственности и наказанию индивидов безотносительно к месту совершения преступления либо гражданству обвиняемого или потерпевшего. Данный вид юрисдикционной компетенции основывается, главным образом, на характере преступлений, уголовное преследование которых представляет «универсальный» интерес для всего международного сообщества.
Фактор графа G — это остовный подграф, то есть подграф, имеющий те же вершины, что и граф G. k-фактор графа — это остовный k-регулярный подграф, а k-факторизация разбивает рёбра графа на непересекающиеся k-факторы. Говорят, что граф G k-факторизуем, если он позволяет k-разбиение. В частности, множество рёбер 1-фактора — это совершенное паросочетание, а 1-разложение k-регулярного графа — это рёберная раскраска k цветами. 2-фактор — это набор циклов, которые покрывают все вершины графа.