В рейтинге участвует:

групп:

каналов:

Виртуальный сервер на SSD - недорого!

Аренда выделенных и виртуальных серверов (VDS/VPS), хостинг, аренда IP-адресов, администрирование, круглосуточная поддержка

qwarta.ru подробнее

Резервное копирование с проверкой на вирусы!!!

Удобный сервис создания резервных копий на любой сервер сети интернет. Отслеживайте изменения, проверяйте на вирусы. Надежно защитите свой бизнес!

go.backupland.com

Выбираете сервер? Любая конфигурация на заказ!

Аренда физических серверов любых конфигураций под любые запросы - 1С бухгалтерия, игровые сервера, нагруженные проекты, интернет-магазины!

qwarta.ru подробнее

Size: a a a

Теория категорий

559 membersпожаловаться на группу
2018 November 09

NI

Nick Ivanych in Теория категорий
Proof:
Но чет да, видимо фигня
Можно рассмотреть категорию мономорфизмов.
По полной аналогии с той же Top.
Топология там будет более-менее очевидна.
И пучки на категориях (по крайней мере, малых уж точно) строить ;-)
А что, даже любопытно поработать с таким внутренним языком.
Интуитивно, подобные топологии (основанные на категории мономорфизмов) выражают довольно-таки понятные вещи в категориях...
источник
08:22пожаловаться#1
2018 November 15

MP

Mike Potanin in Теория категорий
Я правильно понимаю, что вычислимые функции с заданными ограничениями по памяти (константная, полиномиальная и тд) образуют категорию? И для некоторых ограничений сложности по времени это тоже будет верно? Можно из этого что-нибудь хорошее получить?
источник
17:02пожаловаться#2

NI

Nick Ivanych in Теория категорий
Mike Potanin
Я правильно понимаю, что вычислимые функции с заданными ограничениями по памяти (константная, полиномиальная и тд) образуют категорию? И для некоторых ограничений сложности по времени это тоже будет верно? Можно из этого что-нибудь хорошее получить?
Надо аккуратнее определять, что такое их композиция...
Но думаю, что подобное возможно сделать.
Что это даст — не знаю...
источник
18:13пожаловаться#3

Oℕ

Oleg ℕizhnik in Теория категорий
Нужно определить категорию множеств входных данных "с размером"
источник
18:34пожаловаться#4

MP

Mike Potanin in Теория категорий
В простейшем варианте будет один объект - множество лент машины Тьюринга, и много морфизмов - машин заданной сложности с простой композицией - по завершению первой вызов второй.
источник
19:08пожаловаться#5

MP

Mike Potanin in Теория категорий
Для многих классов сложности композиуия из них выводить не будет, на сколько я понимаю.
источник
19:09пожаловаться#6

Oℕ

Oleg ℕizhnik in Теория категорий
Mike Potanin
В простейшем варианте будет один объект - множество лент машины Тьюринга, и много морфизмов - машин заданной сложности с простой композицией - по завершению первой вызов второй.
Странное определение
источник
19:11пожаловаться#7

Oℕ

Oleg ℕizhnik in Теория категорий
Совсем не похоже на "композицию" в моём представлении
источник
19:11пожаловаться#8

Oℕ

Oleg ℕizhnik in Теория категорий
В лямбде проще выразить, как мне кажется.
источник
19:12пожаловаться#9

MP

Mike Potanin in Теория категорий
Правда, с одним объектом не так интересно, хочется получить топос. Тогда можно на P vs NP попробовать посмотреть 😊
источник
19:12пожаловаться#10

MP

Mike Potanin in Теория категорий
Для лямбд сложность сложно отвязать от порядка редукций.
источник
19:13пожаловаться#11

ЕО

Евгений Омельченко in Теория категорий
Oleg ℕizhnik
Странное определение
А по-моему похоже композиция это как раз f(g(x)) как раз
источник
19:13пожаловаться#12

ЕО

Евгений Омельченко in Теория категорий
Другое дело, что композиция не будет выдерживать исходные условия. Например если есть алгоритм, который использует e^x памяти, то композиция с самим собой будет есть e^(e^x) памяти
источник
19:15пожаловаться#13

ЕО

Евгений Омельченко in Теория категорий
Это уже совсем другое пространство
источник
19:15пожаловаться#14

MP

Mike Potanin in Теория категорий
Но для линейной, линейной с коэфициентом 1 (фиксированной дополнительной) и полиномиальной - класс сложности сохранится.
источник
19:18пожаловаться#15

ЕО

Евгений Омельченко in Теория категорий
Я думаю, что все алгоритмы полиномиальной сложности можно вписать в какой-нибудь известный тотальный язык
источник
19:24пожаловаться#16

NI

Nick Ivanych in Теория категорий
Евгений Омельченко
Я думаю, что все алгоритмы полиномиальной сложности можно вписать в какой-нибудь известный тотальный язык
Что-то такое с линейной логикой точно делали, но с ходу, наверное, я не отыщу статьи.
источник
19:25пожаловаться#17

ЕО

Евгений Омельченко in Теория категорий
Я помню в контексте оптимал редакшон что-то такое находил
источник
19:25пожаловаться#18

AG

Alex Gryzlov in Теория категорий
Nick Ivanych
Что-то такое с линейной логикой точно делали, но с ходу, наверное, я не отыщу статьи.
light linear logic же
источник
19:26пожаловаться#19

AG

Alex Gryzlov in Теория категорий
и так называемое implicit complexity
источник
19:27пожаловаться#20