Как я могу быстрее читать данные?
Вопрос
Хммм ... довольно сложно найти метод для чтения/написания данных достаточно быстрее, чтобы быть принятым в этой проблеме ( https://www.spoj.pl/problems/intest/ ) с использованием F#.
Мой код ( http://paste.ubuntu.com/548748/ ) получает ...
Есть идеи, как ускорить чтение данных?
Решение
Эта моя версия проходит ограничение по времени (но все еще ужасно медленная ~ 14 секунд):
open System
open System.IO
// need to change standard buffer, not to add an additional one
let stream = new StreamReader(Console.OpenStandardInput(4096))
let stdin = Seq.unfold (fun s -> if s = null then None else Some (s,stream.ReadLine())) <| stream.ReadLine()
let inline s2i (s : string) = Array.fold (fun a d -> a*10u + (uint32 d - uint32 '0') ) 0u <| s.ToCharArray()
let calc =
let fl = Seq.head stdin
let [|_;ks|] = fl.Split(' ')
let k = uint32 ks
Seq.fold (fun a s -> if (s2i s) % k = 0u then a+1 else a) 0 <| Seq.skip 1 stdin
printf "%A" calc
Хотя вырезок этой версии на самом деле string -> uint32
Преобразование (стандартный лист UINT32 из строки еще медленнее) само считывание занимает около 2 секунд (против 6 с общего времени) на моем входе образца (файл ~ 100 м) - все же не является большим результатом. Один раз s2i
Переписывается в императивном стиле, общее время выполнения может быть сокращено до 10 секунд на SPOJ:
let inline s2i (s : string) =
let mutable a = 0u
for i in 0..s.Length-1 do a <- a*10u + uint32 (s.Chars(i)) - uint32 '0'
a
Другие советы
Я на самом деле не знаю, но я предполагаю, что чтение А, так как персонаж за раз плохо, и вы должны читать EG 4K в буфер за раз, а затем обрабатывать буфер.
let buf =
let raw = System.Console.OpenStandardInput()
let bytebuf = new System.IO.BufferedStream(raw)
new System.IO.StreamReader(bytebuf)
buf.Read() // retrieves a single character as an int from the buffer
buf.ReadLine() // retrieves a whole line from the buffer