IBM ($IBM) sẽ cung cấp trực tiếp phần mềm tối ưu hóa lượng tử của Aqarios trên nền tảng của mình và thu phí theo từng lượt sử dụng. Sau khi sản phẩm được đưa vào danh mục hồi tháng 9, việc mua và thanh toán nay được chuyển sang hợp đồng hiện có với IBM.
Aqarios cho biết trong thông cáo công bố lúc 0 giờ ngày 12 (giờ Hàn Quốc) rằng công ty con Aqarios GmbH đã ký thêm hợp đồng với IBM. Sản phẩm thuộc thỏa thuận là “Constrained Quantum Optimizer”.
Tháng 9, Aqarios đã đưa sản phẩm này vào danh mục phần mềm lượng tử của IBM. Khi đó, khách hàng mua giấy phép từ Aqarios GmbH, sau đó IBM kích hoạt sản phẩm trong tài khoản. Thông cáo hồi tháng 9 của Aqarios mô tả cách bán này.
Theo hợp đồng mới, khách hàng đã mua thời gian sử dụng máy tính lượng tử có thể dùng sản phẩm thông qua hợp đồng hiện có với IBM, và IBM sẽ thu phí. Khách hàng không cần ký hợp đồng mua riêng với Aqarios GmbH.
Aqarios cho biết IBM tính phí theo từng lượt gọi dựa trên quy mô bài toán tối ưu hóa, đồng thời trả phí giấy phép cho Aqarios GmbH theo mỗi lượt gọi. Mức phí mỗi lượt, đơn giá giấy phép, số lượt sử dụng thực tế và phần doanh thu đóng góp chưa được công bố.
Aqarios cho biết vẫn duy trì bán giấy phép trực tiếp, tách biệt với hình thức tính phí theo lượt gọi trên nền tảng IBM. Giấy phép trực tiếp cho phép khách hàng sử dụng sản phẩm trong thời hạn quy định trong hợp đồng.
Tài liệu sản phẩm của IBM xếp phần mềm vào giai đoạn xem trước, trong đó các tính năng có thể thay đổi. Sản phẩm hiện có trong các gói IBM Quantum Premium, Flex và On-Prem.
Tối ưu hóa nhị phân là bài toán tìm tổ hợp đáp ứng các điều kiện trong số nhiều lựa chọn. Chẳng hạn, bài toán có thể yêu cầu chọn các phương án sao cho vẫn tuân thủ những ràng buộc đã đặt ra.
Khách hàng có thể nhập bài toán dưới dạng tệp LP, MPS hoặc theo định dạng Luna Model của Aqarios. Tài liệu sản phẩm cho biết các định dạng này được dùng để xử lý bài toán tối ưu hóa nhị phân có ràng buộc.
Sản phẩm chuyển đổi dữ liệu đầu vào để phù hợp với mạch lượng tử, sau đó tạo mạch và xử lý việc chạy trên thiết bị. Tài liệu sản phẩm của IBM mô tả đây là các chức năng của phần mềm.
Sản phẩm không hỗ trợ biến liên tục; biến nguyên cần có giới hạn trên và giới hạn dưới được xác định rõ. Vì vậy, loại biến và phạm vi của bài toán đầu vào phải đáp ứng điều kiện xử lý của sản phẩm.
Với ràng buộc “one-hot”, tức chọn một phương án trong số nhiều lựa chọn, sản phẩm áp dụng phương pháp XY-mixer. Ràng buộc đóng gói tập hợp được chuyển sang dạng one-hot, còn một số ràng buộc khác được chuyển thành các hạng phạt.
IBM cho biết chất lượng kết quả có thể thay đổi tùy theo loại bài toán và cách xử lý hậu kỳ. Tài liệu sản phẩm cũng nêu rằng chất lượng cuối cùng từ máy tính thông thường và máy tính lượng tử có thể tương đương nhau.
Comment 0