> Ну это вообще говоря лишено смысла =))) Как можно «узнавать» NP-задачи, если еще не известно равно ли это NP P или нет =)
Да запрасто, если у вас трудоёмкость не полиномиальная, значит при определённом размере входных данных, пользователь будет ждать решения долгие годы. Размер можете сами посчитать, например для 2^N.
> Так это же будет доказательство про целый класс очень разных задач. Врядли там будет сколько-нибудь ценной информации для решения каждой конкретной из них.
> Можно подумать, что как только человек узнаёт о «NP-сложности» задачи, он тут же бросает её решать.
Вообще-то да, умение узнавать NP задачи заметно экономит нервы и время, исключая бесполезные (на данный момент?) попытки их решения. Ну, или хотя бы служит сигналом для применения специализированных алгоритмов в некоторых частных случаях.
> Другими словами, КАК такое знание поможет РОДИТЬ P-решение?
> Можно подумать, что как только человек узнаёт о «NP-сложности» задачи, он тут же бросает её решать.
Вообще-то да, умение узнавать NP задачи заметно экономит нервы и время, исключая бесполезные (на данный момент?) попытки их решения. Ну, или хотя бы служит сигналом для применения специализированных алгоритмов в некоторых частных случаях.
> Другими словами, КАК такое знание поможет РОДИТЬ P-решение?
Трудно спорить с образованным человеком — это спор с Богом ;)
Про другие вселенные, так, просто, экзистенциальный трёп с моей стороны. Хотя, может у них там пространство настолько сложно организованно, что обычное для нас деление на множества\подмножества\элементы не может быть осуществленно, а есть какие-нибудь другие сильносвязанные\нелокальные мегамножества с мегаоперациями на них, которые мы и представить себе не можем, вследствии нашего иновселенского происхождения, материя у нас не той полярности. Соответственно, и математики у нас разные :)
Ну почему же «фундаментальное свойство», выполнимость тех или иных преобразований за некоторый промежуток времени как раз таки должна зависеть от законов взаимодействия и констант.
Может в какой-то другой вселенной законы таковы, что даже NP-сложные задачи решаются за константное время. Ну, это если совсем фантазировать :)
NP-полная задача — значит, что все задачи из NP сводимы к данной за полиномиальное время, т. е. решение задачи решает все проблемы класса NP. Автор термина именно этот факт хотел подчеркнуть используя слово «complete».
Кабель питания выдернули, как я понял, чтобы исключить возможность снятия информации с проводки, и монитор по тем же причинам, там ссылка на шпиёна дана, который, похоже, с монитора умеет снимать.
Странно, что на старом компе (P4 Prescott, socket 478 — древность, одним словом) эта фича была, хорошо помню, как отключал её, а на новом (C2D E8500) нету. Прогресс не стоит на месте :)
Угу, у меня тоже обычно 1-1.5 секунды, но это suspend to RAM, если свет отключат, прощайте несохранёные данные. ИБП спасает, но отлучаясь надолго из дома, всё-таки делаю обычное выключение.
— Аааа! А что если Chrome пересылает все данные с моих жёстких дисков в Гуголь?!
— Этого нет в его коде, да и лицензионным соглашением запрешено.
— Они могли это хитро спрятать!
— Но исследования сетевого трафика не показывают никакой левой активности.
— Ну и что! Возможность-то всё равно есть. Ааа! Они могут добавить эту фичу в следующем релизе!!! Точно, об этом и будет моя следующая статья…
Отсюда видно, что для невиртульных членов обращения «в instance v-table» нет.
Кстати, на счёт лишней «проверки» на null, вы оказались правы, она действительно есть, но только в том случае, когда член не обращается к полям объекта. Т. е. джитер действительно на 100% следует стандарту, и код кидает исключение даже при отсутствии обращений к полям по null-ссылке.
Нет там никакой особой проверки на «существование инстанса класса». «Object reference not set to an instance of an object.» — это просто новое название для «0xC0000005: Access violation reading location 0x00000000.»
«Обычные» методы по механизму вызова равны статическим, никакого обращения к таблице виртуальных методов нет.
Да запрасто, если у вас трудоёмкость не полиномиальная, значит при определённом размере входных данных, пользователь будет ждать решения долгие годы. Размер можете сами посчитать, например для 2^N.
> Так это же будет доказательство про целый класс очень разных задач. Врядли там будет сколько-нибудь ценной информации для решения каждой конкретной из них.
Вообще-то да, умение узнавать NP задачи заметно экономит нервы и время, исключая бесполезные (на данный момент?) попытки их решения. Ну, или хотя бы служит сигналом для применения специализированных алгоритмов в некоторых частных случаях.
> Другими словами, КАК такое знание поможет РОДИТЬ P-решение?
Вся надежда на конструктивное доказательство :)
Вообще-то да, умение узнавать NP задачи заметно экономит нервы и время, исключая бесполезные (на данный момент?) попытки их решения. Ну, или хотя бы служит сигналом для применения специализированных алгоритмов в некоторых частных случаях.
> Другими словами, КАК такое знание поможет РОДИТЬ P-решение?
Вся надежда на конструктивное доказательство :)
Про другие вселенные, так, просто, экзистенциальный трёп с моей стороны. Хотя, может у них там пространство настолько сложно организованно, что обычное для нас деление на множества\подмножества\элементы не может быть осуществленно, а есть какие-нибудь другие сильносвязанные\нелокальные мегамножества с мегаоперациями на них, которые мы и представить себе не можем, вследствии нашего иновселенского происхождения, материя у нас не той полярности. Соответственно, и математики у нас разные :)
З. Ы. Остапа понесло…
Может в какой-то другой вселенной законы таковы, что даже NP-сложные задачи решаются за константное время. Ну, это если совсем фантазировать :)
Незнаю почему, но меня это только радует, после установки всегда первым делом отключаю и хибернацию, и гибридный сон.
www.tiobe.com/index.php/content/paperinfo/tpci/index.html
тут ситуация несколько иная ;)
— Этого нет в его коде, да и лицензионным соглашением запрешено.
— Они могли это хитро спрятать!
— Но исследования сетевого трафика не показывают никакой левой активности.
— Ну и что! Возможность-то всё равно есть. Ааа! Они могут добавить эту фичу в следующем релизе!!! Точно, об этом и будет моя следующая статья…
instance = call FFFFFFFFFFEC93E0
static = call FFFFFFFFFFEC93F0
virtual = call qword ptr [rax+60h]
Отсюда видно, что для невиртульных членов обращения «в instance v-table» нет.
Кстати, на счёт лишней «проверки» на null, вы оказались правы, она действительно есть, но только в том случае, когда член не обращается к полям объекта. Т. е. джитер действительно на 100% следует стандарту, и код кидает исключение даже при отсутствии обращений к полям по null-ссылке.
«Обычные» методы по механизму вызова равны статическим, никакого обращения к таблице виртуальных методов нет.
Подробнее про эту статью: forum.vingrad.ru/forum/topic-180722/anchor-entry1309995/15.html
О да, мир без них не справился бы :)