Hello, everyone!
We look forward to our upcoming competition — TypeDB Forces 2023 (Div. 1 + Div. 2, Rated, Prizes!), which will take place on Jan/29/2023 17:35 (Moscow time). In the meantime, you can learn a little more about us.
We’re from Vaticle, and we’re the creators of TypeDB & TypeQL. All members of our team are unique and talented, and today we want to introduce you to one of them.
How would you introduce yourself?
I’m Krishnan, I grew up in India and spent a little too much time on the internet and fiddling with my (underpowered) PC. After completing my Bachelor’s degree, I spent a year as a software engineer working on a huge data lake, the next as a research fellow trying to permute thread executions to force out concurrency bugs, a year doing a masters with a focus on the old-style AI (and logic-programming). After a short-lived attempt at a Ph.D., I’m now at Vaticle working on the automated reasoning built into our database.
When did you start Competitive Programming?
Probably in my second year of uni. One of my friends decided it would be fun and we just started doing contests. Later on, another friend convinced me to learn a bit more and join his ICPC team. The discussions I had with him were great.
What have you since learned and how has competitive programming impacted your skills?
Everyone reading this knows better than me, but CP has made me a lot better at dissecting a problem better and isolating the crux of it. It also makes you great at coming up with the simplest possible implementation which covers all the (edge) cases. The clarity of thought you need to get an AC is something I would have taken much longer to develop without it.
What is it like working at TypeDB as an Engineer?
The problems you get to work on here at Vaticle are great fun. There’s a nice balance of freedom to explore solutions and expectations on output- so you’re happy with the state of whatever you’re building. It feels like a good time to be at the company because we’re stable enough to know what we want to do and have some idea of how we want to do it, but still early enough that you have to define and drive the solution.
Another great thing is the variety of fields we touch on in our work — There’s something in it for almost everyone. The query language and type system design, the semantics of the language, the graph traversal algorithm, the storage engine, and its low-level data structures, and the distributed systems aspect to scale it all up. We even have our own IDE (and a very, very cool graph visualizer). You also have to dive into the internals of programming languages, build systems, and cloud infrastructure.
To top it all off, with the group of extremely smart people working here and their varied interests, you have a lot of great (and often tangential) discussions in the meeting room, the lunch table (and the pub). Even so, I think we could do with a few more competitive programmers in the team 
What kind of problems are you working on?
The focus of my work is the reasoner (which sits well with my interest in logic programming). The first major piece of work here was the resolution planner – what is the best order to evaluate a recursive query? The discussions with my colleagues were critical to making heads or tails of the problem. It could still use some work though (anyone like decomposing graphs?)
I’ve since worked on adding arithmetic & aggregate queries into the system — which involved finding the right conceptual model to think about all these in a graph setting. We’ve had some great discussions on the various database models and how it fits into their systems.
The next chunk of work I look forward to is to tame the reasoner a little more. The current solution is very elegant — it’s simple and powerful as a direct result of its simplicity. We just need to add a few missing properties to the resolution procedure to bring it up to the state of the rest of the system.
The data in knowledge graphs tend to be highly interconnected, and we know interconnectedness is a recipe for hard problems.
Apply
So, if you already want to become a member of our team, then without delay fill out this form. But, if you need more details about us and our work, we invite you to our website and GitHub pages.
By SAKT,
9 years ago,
Hi everyone.
In Codeforces Round #212 (Div. 2), I saw one of my room codes and he was using the -1 position of an array (A[-1]). And it did’nt get Runtime Error.
Why? Unfortunately, I had 2 Unsuccessful hacking attempts because of this.
Here is the submission: 5102143 and here is the link of problem: 362B — Petya and Staircases
In the line 22:
if (dirty[0] == 1 || dirty[m-1] == n)
…
and if you put m = 0 … .
Could anyone answer why this code is Accepted?
|
|
9 years ago,
It depends on compiler. Most compiler doesn’t check the exceeded using of array and they take a[-1] as a[len-1].For example, if array a consists 3000 elements. then a[-1] == a[2999], you can check it out on your own computer. I think most compiler does that. For more details, search it in the internet. If something I said is wrong, please tell me, I’m also ignorant about the deeper reasons. |
-
9 years ago,
#
^
|
←
Rev. 3
→
0
Sorry, I check it out on Codeblocks IDE on my windows computer. What I said is wrong. I print the address of a[-1] and a[0], they are close. a[-1] takes the place right before a[0] in the cache.(which means a[-1] != a[len — 1], What I said is terribly wrong, sorry for that.) So I think the reason why the code doesn’t cause a RE is that maybe compiler doesn’t check if you use an invalid array elements, and in the most of time cache a[-1] isn’t used.
Happily to learn something new. :D. Thank you.
-
9 years ago,
#
^
|
+3
yes, in particular, a[k] means *(a + k) where a is pointer of beginning of the array, so a[-1] is 1 cell before the beginning of array…but I still don’t know why this cell is 0, because I tried a[-6] in custom test and it wasn’t 0!
-
9 years ago,
#
^
|
0
I think this is codeforces fault.
-
-
9 years ago,
#
^
|
0
Actually, it doesn’t depend on the compiler, it is something about running the program. Okay maybe you are right and the cache a[-1] isn’t used but codeforces shouldn’t let the code to use cache and any other place on the memory except the place that is for program, I think you agree with me that in this situation he must got Runtime Error.
-
|
0 / 0 / 0 Регистрация: 23.06.2018 Сообщений: 2 |
|
|
1 |
|
|
23.06.2018, 15:20. Показов 1931. Ответов 2
(p.s. что за тупая система тут: написал пост , не зная, что слово «проблема» в заголовке запрещена — пост стерся. Кайф Задача : http://codeforces.com/contest/999/problem/D. Решение : http://codeforces.com/contest/… n/39527583.
__________________
0 |
)|
Ромаха 353 / 134 / 28 Регистрация: 16.12.2012 Сообщений: 607 Записей в блоге: 1 |
||||
|
23.06.2018, 16:56 |
2 |
|||
|
Решение
Меняешь местами. Ликуешь.
1 |
Сообщение было отмечено 4512Zor как решение
|
0 / 0 / 0 Регистрация: 23.06.2018 Сообщений: 2 |
|
|
23.06.2018, 17:43 [ТС] |
3 |
|
Да уж… Серьезно тупанул. Большое спасибо!!
0 |
| Название | Runtime error ошибка исполнения на тесте N. Выполнение программы на n -ом тесте прервалось с ошибкой |
| Дата публикации | 21.12.2013 |
| Размер | 78.91 Kb. |
| Тип | Тесты |
5-bal.ru > Авто-обзор > Тесты
Общие правила участия в Турнире и инструкции для участников
Порядок проверки решений
Оба этапа Турнира проводятся по правилам международного соревнования ACM ICPC. Процесс проверки решений полностью автоматизированный. Жюри готовит набор тестов (входных данных) для каждой задачи. Решение, присланное участником, засчитывается при условии, если оно прошло все тесты (выданы правильные ответы, решение уложилось в определенный объем времени и объём использованной памяти); в противном случае , засчитывается неудачная попытка. Частичные решения не засчитываются.
Написав решение, участник отправляет его исходный код на проверку с помощью браузера. Тестирующая система компилирует код и запускает программу один раз для каждого теста (на вход программы подставляются входные данные, затем проверяется правильность вывода, выданного программой для текущего теста). Тесты проверяются, начиная с 1-го и далее по порядку.
Тесты держатся в секрете до окончания тура. Однако первый тест (а иногда и второй, и третий…) приводится в условии задачи. Проверка одного решения занимает от нескольких секунд до пары минут, после чего в браузере выводится результат проверки.
Задачи можно сдавать в любом порядке. Участник может делать любое количество попыток по каждой задаче; однако каждая неудачная попытка негативно сказывается на рейтинге, который участник получит после успешной сдачи задачи.
Результатом проверки может быть один из следующих вердиктов:
- Accepted – решение зачтено. Решение прошло все тесты, засчитано полное решение, участник поднимается в рейтинговой таблице (которая обновляется немедленно). При этом фиксируется время, прошедшее от начала соревнования до момента отправки решения, количество предшествующих неудачных попыток по этой задаче – эти факторы влияют на итоговое положение участника.
- Compilationerror – ошибка компиляции. Исходный код, присланный участником, не компилируется. Можно нажать на ссылку «инфо», чтобы увидеть сообщения, выданные компилятором. Попытка игнорируется.
- Wronganswer – неправильный ответ на тесте N. Решение прошло первые N-1 тестов и выдало неверный ответ на N-ом. Засчитывается неудачная попытка.
- Presentationerror – ошибка представления на тесте N. Тестирующая система не может оценить ответ как правильный или неправильный, т.к. не соблюдён формат выходных данных. Перечитайте раздел «Вывод» условия задачи.
- Runtimeerror – ошибка исполнения на тесте N. Выполнение программы на N-ом тесте прервалось с ошибкой («Программа выполнила недопустимую операцию и будет закрыта. «). Наиболее популярные причины: обращение за границы массива, деление на ноль, переполнение стека и т.п.
- Time limit – превышено ограничение времени на тесте N. Решение работало слишком долго (или вовсе зависло) на N-ом тесте. Наиболее популярные причины: неэффективный алгоритм решения задачи; ошибка в программе.
- Memorylimit – превышено ограничение объёма используемой памяти на тесте N. При решении сделана попытка использовать больше памяти, чем установлено условием задачи.
Тренировочный тур
Чтобы участники могли заранее ознакомиться с тестирующей системой, она будет запущена в тестовом режиме с 1-го по 13-е марта. В этот период предлагается всем будущим участникам зайти на сайт http://contest.khsu.ru, зарегистрироваться под любым именем и решить представленные там задачи, отправляя решения на проверку.
Предлагается начать решение с задачи «A+B». Она находится в разделе «Сборники», «Задачи с сайта Olympiads.ru». В разделе «Помощь» вы найдёте примеры её решений.
По окончании тренировочного тура , 14 марта, все задачи, отправленные решения задач и все учётные записи будут удалены. Результат тренировочного тура не учитывается при определении результатов 1 или 2 этапов Турнира.
1-й этап (очное и заочное участие школьников)
Тур будет проходить на сайте http://contest.khsu.ru. Учётные записи будут внесены в систему заранее на основе данных, введённых зарегистрировавшимися до 10 марта на сайтах http://clck.ru/8_rkG и http://clck.ru/8_rgq.
На 1 этапе для школьников проводится один тур, общий для очных и заочных участников, с одним набором задач, в одно время (см. расписание) и общей рейтинговой таблицей.
Решение задач нужно сдавать на сайте http://contest.khsu.ru в разделе «Турниры», «ХГУ 2013 Школьники». Условия задач будут выложены с началом тура на сайте в указанном разделе в форматах Microsoft Word и PDF. Участники очного тура 1-го этапа, предварительно зарегистрировавшиеся на очное участие, получат твёрдую копию условий задач.
Результаты, полученные к концу тура, 1 этапа, считаются предварительными. Окончательные результаты 1 этапа выставляются на сайт и оглашаются на занятиях школы программистов 24 марта.
Незадолго до начала тура 1 этапа (см. расписание) будет запущен пробный тур для проверки работоспособности тестирующей системы, и чтобы дать возможность участникам освоиться на рабочих местах. В процессе пробного тура участники могут решать и отправлять на проверку любые задачи, представленные в системе. Результат пробного тура никак не учитывается.
К началу основного тура 1 этапа все отправленные решения и лишние задачи будут удалены из системы.
По окончания основного тура 1 этапа участники приглашаются на разбор задач.
2-й этап
Тур 2 этапа будет проходить на сайте http://contest.khsu.ru. Учётные записи будут внесены в систему заранее на основе данных, введённых зарегистрировавшимися до 4 апреля на сайте http://clck.ru/8_Wg6 .
На 2-м этапе возможно только очное участие. Все участники получают твёрдую копию условий задач. Некоторые материалы могут быть дополнительно предоставлены в электронном виде.
Окончательные результаты объявляются в день проведения тура после разбора задач.
Дополнительные комментарии для участника
Оба этапа проводятся по правилам международного соревнования ACM ICPC. Процесс проверки решений полностью автоматический. Решение, присланное участником, засчитывается при условии, если оно прошло все заготовленные жюри тесты (выданы правильные ответы, решение уложилось в определенный объем времени и объем использованной памяти); в противном случае засчитывается неудачная попытка.
Чем больше задач сдаёт участник, тем выше его рейтинг. Участники, сдавшие одинаковое число задач, ранжируются с учётом кол-ва неудачных попыток и времени, затраченного на решение сданных решений задач.
Рейтинговая таблица обновляется в реальном времени. Однако за полчаса до окончания тура она может быть заморожена (участник не будет видеть, изменения, происходящие с другими участниками). Решение о заморозке жюри примет во время тура.
Если у участника во время тура появляются вопросы по задачам, их нужно задавать через тестирующую систему (см. раздел «Описание тестирующей системы» настоящих правил). Имейте в виду, что первый тест (а иногда и второй, и третий…) обязательно приводится в условии задачи (раздел «примеры»). Строго соблюдайте формат входных и выходных данных. Не стоит выводить лишних фраз вроде «Введите число N», и других, не предусмотренных условием задачам (раздел «Вывод»); в противном случае тестирующая система не поймёт ответ и зачтёт неудачную попытку с вердиктом «Presentation error» (ошибка представления).
Вводить входные данные нужно из консоли (клавиатура/стандартный ввод) или из файла input.txt – по желанию участника. Выводить данные – в консоль (на экран/стандартный вывод). Вывод в файл недопустим.
Ограничения на время и объём используемой памяти к каждой задаче выставляется таким образом, чтобы решения жюри проходили как минимум с двукратным запасом по этим параметрам.
Если вас интересует разбор задач, тесты, решения – обратитесь к жюри после тура.
Описание тестирующей системы
Стартовая страница выглядит так:
Чтобы начать работать с сайтом, следует слева выбрать свою учётную запись и ввести пароль. Пароль должен быть известен только участнику. Если у вас еще нет учётной записи, создайте её, нажав на ссылку «зарегистрироваться», где нужно будет задать имя и пароль учётной записи.
На тренировочном туре вы должны создать себе учётную запись, зарегистрировавшись под любым именем, и задав себе любой пароль. На турах 1-го и 2-го этапа учётные записи участников будут внесены в систему заранее, поэтому участнику нужно будет только выбрать из списка своё имя и ввести свой пароль.
Если пароль введён правильно, то вы увидите страницу участника:
Предлагаем начать работу с раздела «Сборники»:
Выберите сборник «Задачи с сайта Olympiads.ru»; вы увидите перечень задач в этом сборнике:
Обратите внимание на ссылку «Обсудить» напротив каждой задачи. Нажав на неё можно задать вопрос жюри. Подробнее см. ниже.
Выберите задачу «A+B». Страница задачи выглядит примерно так:
В верхней части – условие задачи. Чтобы отправить решение задачи, можно либо вставить исходный код в поле «Текст попытки», либо (справа от этого поля) выбрать «файл попытки» (нужно будет нажать кнопку «Выберите файл»):
Затем выберите, на каком языке написана ваша программа:
Ошибка исполнения на тесте 1
Что значит данная ошибка? Проверил: 1. Это не деление на 0, т.к в коде нет деления вообще. 2. За пределы массива не вылезаю, т.к массив в разы больше, чем входные данные. 3. Переполнение тоже невозможно. 4. За передел памяти тоже не выхожу. Я тут недавно сижу, но интересно, а нет ли поста с полным описание каждой ошибки? Буду очень благодарен за помощь.
Приведенный ниже код с помощью GNU C ++ 11 компилятор и код работает нормально, но я не знаю, как это работает?
Я считаю , что нет никакого способа , чтобы выполнить system(«cls»); на машине судьи — просто удалить , что из кода.
Кроме того, вы выходите за пределы здесь , когда i == n — 1 :
Хотя технически не выходить за пределы массива , потому что n , но в любом случае вы обращаетесь неинициализированный элемент массива.