Гриша любит сериалы. Особенно ему нравятся те сериалы, в которых в любой момент можно узнать, на какой по счету серии он сейчас находится и сколько
в целом серий имеется в этом сериале. Обычно где-нибудь в углу экрана находится надпись, например
«10/100», которая означает, что сейчас Гриша находится на 10 серии, а всего в сериале 100 серий.
На днях Гриша начал смотреть новый сериал, но оказалось, что разработчик для вывода на экран надписи с номерами серий использовал шрифт, которого нет на Гришином компьютере. Шрифт автоматически заменился на какой-то другой, в котором не поддерживается символ
«/».
Теперь два числа, которые должны были быть разделены, слились в одно, и Гришу это невероятно
расстраивает. Он подумал о том, что можно попробовать самому угадывать место, в котором должен
стоять символ «/», но потом понял, что в некоторых случаях подходящих вариантов может быть
несколько. Например, если на экране написано «1234», это может означать как то, что он находится
на 1 уровне из 234, так и то, что он находится на 12 уровне из 34.
Ему стало интересно, а сколько всего существует подставить символ «/» в надпись
на экране так, чтобы надпись была корректной, то есть чтобы слева и справа от символа были
корректные числа без лидирующих нулей и при этом левое число не превосходило правое Грише ответить на этот вопрос.
Ключевые слова
файл
имя файла
папка
размер файла
бит, байт, килобайт, мегабайт, гигабайт
Файлы и папки
Файл — это информация, хранящаяся в долговременной памяти как единое целое и обозначенная именем.
В ОС Windows в имени файла запрещено использование следующих символов: «\», «/», *'.*, ***, «?», «"», «<», «>», «|».
В ОС Linux в имени файла допустимы все символы, кроме «/».
Операционная система Linux в отличие от Windows различает строчные и прописные буквы в имени файла: например, в Linux FILE.txt, file.txt и FiLe.Txt — это три разных файла.
Файлы, содержащие данные (рисунки, тексты), ещё называют документами. Файлы-документы создаются и обрабатываются с прикладных программ (приложений).
Файл характеризуется такими свойствами как тип, размер, дата создания, дата последней модификации.
существует большое количество типов файлов. Вот некоторые из них:
текстовые документы — имеют расширения txt, doc, rtf, odt;
графические — файлы, содержащие изображения; их расширения — bmp, jpg и др.;
звуковые — файлы, содержащие голоса и музыку; их расширения — wav, mid, mp3 и др.
Объяснение: